Schooling

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