Experiences

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

Verification of 8086tiny (Apr '22)
- For the Software Verification and Analysis course offered by Prof. M K Srivas. Used Frama-C (Eva) to check for errors in the 8086tiny project’s code using abstract interpretation. Afterwards, used bounded model checking using the CBMC tool to determine spuriousness of the errors. Link to bug report

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)

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
Timed Computation Tree Logic (Nov '22)
- For the Timed Automata course offered by Prof. B Srivathsan. Slides