Schooling

M.Sc. in Computer Science (2021–2023)

B.Sc. (Hons. in Computer Science) (2016–2020)
Graduate courses taken

Infinite State Verification (Jan–Apr '23)
 Pushdown systems, Petri nets, upward closed sets, lossy channel systems

Concurrency Theory (Aug–Nov '22)
 Shared actions, distributed automata, gossip, message passing systems

Proofs and Types (Aug–Nov '22)

Timed Automata (Aug–Nov '22)

Formal Security Analysis (Jan–Apr '22)
 Appliedπ calculus, ProVerif, F*

Logic, Automata & Games (Jan–Apr '22)
 Automata over infinite words, temporal logics, realisability games

Software Verification and Analysis (Jan–Apr '22)
 Hoare logic, SAT/SMT, bounded model checking, abstract interpretation

Mathematical Logic (Sep–Dec '21)
 Propositional logic, first order logic, EF games, Presburger arithmetic