About Me
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 .
My areas of interest are in the intersection of formal methods and software engineering with focus on 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.
Interests
- Formal Methods
- Automated Program Repair
- Model Checking
- Runtime Verification
Education
-
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