Resume

For a detailed CV, click the PDF icon to the right.

Experience

Apr 2023 – present
Jan 2023 – Mar 2023

Worked on an algorithm for deciding the insecurity problem for security protocols with assertions.

Nov 2020 – Oct 2022

I am part of the Languages, Systems, and Data lab, and I work with Owen Arden on the formal modelling and verification of security protocols involving authentication and information flow.

Jan 2020 – Oct 2020

As part of my work as a Research Associate at Ericsson Research, I worked on the verification of the EDHOC security protocol, various applications of formal methods to machine learning and reasoning, and co-supervised an intern for six months.

Nov 2018 – Oct 2019

I worked on obtaining and extending results for deciding various trace and equivalence properties as part of the symbolic verification of security protocols.


Awards

  • Chandruka New Faculty Fellowship (2023)
  • Best Paper Award, ICCA 2022 (2022)
  • Infosys Foundation Grant (2014 – 2018)
  • TCS Research Scholarship (2013 – 2018)
  • Second-Best Paper Award, ICISS 2014 (2014)
  • Finalist, USA Google Anita Borg Memorial Scholarship (2011)


Education

2012 - 2018

I defended my PhD in Computer Science at the Chennai Mathematical Institute in August 2018. My thesis "A Theory of Assertions for Dolev-Yao Models" was on the use of logic and formal methods for the symbolic modelling and verification of security protocols involving certification.

2010 - 2011

I obtained my degree of Master of Science in Engineering in Computer Science and Engineering from the University of Michigan at Ann Arbor. My GPA was 7.0 on a 9.0 scale.

2006 - 2010

In 2010, I finished my Bachelor's in Engineering, specializing in Instrumentation and Control Engineering from the Netaji Subhas Institute of Technology in Delhi University. I obtained 77% and graduated First Class with distinction.