I am a Ph.D student supervised by Prof. Carlo A Furia at the Software Institute, USI Lugano. Previously, i was a Doctoral Research Assistant at the Institute of Information Security, ETH Zurich from 2015-2018. I have an Integrated Bachelors and Masters degree in Mathematics and Computing from IIT Kanpur, where my Masters Thesis was advised by Prof. Mohua Banerjee .
I currently work on topics in formal verification with focus on program synthesis and automated program repair. I have also worked on projects aiming to solve scalability issues for runtime monitoring on large and high velocity data traces, and explanation of counterexamples generated by model checkers.
PhD (Contd.) in Computer Science, 2018-present
Software Institute, USI Lugano
PhD in Computer Science, 2015-18
Institute of Information Security, ETH Zurich
BSc-MSc in Mathematics and Computing, 2010-15
Indian Institute of Technology Kanpur
I have been a Teaching Assistant for the following courses at ETH Zurich: