Education

Schooling

• PhD in Computing and Information Sciences (2024–Present)
  • Rochester Institute of Technology
• 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

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)
  • 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