Education

Schooling

M.Sc. in Computer Science (2021–2023)
- Chennai Mathematical Institute
B.Sc. (Hons. in Computer Science) (2016–2020)
- Sonarpur Mahavidyalaya, affiliated to the University of Calcutta

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)
- Different logics, different lambda calculi, Curry-Howard isomorphism
Timed Automata (Aug–Nov '22)
- Timed regular languages, model checking, various algorithms
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