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.
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
Teaching Duties at ETH Zurich:
Teaching Duties at USI Lugano: