Curriculum vitae

Work Experiences

Graduate Research Assistant, Rochester Institute of Technology (Aug '24–Present)
- Working under the supervision of Prof. Arthur Azevedo de Amorim.
Project Assistant, Indian Institute of Technology Gandhinagar (Aug '23–Aug '24)
- Worked under supervision of Prof. Abhishek Bichhawat on the DY* framework to prove properties of group messaging protocols.
Intern, AlgoLabs Chennai Mathematical Institute (Apr '22–Apr '23)
- Worked under contract with SupraOracles, under supervision of Prof. M Praveen. We worked on verification of distributed protocols in Microsoft Ivy. This extended to my M.Sc. thesis.

Proving Safety of SupraBFT using Microsoft Ivy (M.Sc. thesis)
- Under supervision of Prof. M Praveen. Slides, dissertation, repo

Teaching Assistant, Software Verification and Analysis (Jan–Apr '23)
- Course offered by Prof. M K Srivas. I mainly took lab sessions, demonstrating the usage of CBMC, Frama-C (Eva, WP), UCLID5, and Z3 (SMT-LIB)

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

Simple As Possible – Computers, STEMS Qualifier Camp (Apr '23)
- Talk on digital electronics and computer architecture, given jointly with G Namratha Reddy. Main slides, additional slides, repo