Experiences

Work Experiences

• Project Assistant, Indian Institute of Technology Gandhinagar (Aug '23-Present)
  • 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.

Research Experience

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

Course Project

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

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

Talks

• 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