Bhargav Nagaraja Bhatt
I am a PhD 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. Before that, I completed Integrated Bachelors and Master in Mathematics and Computing at IIT Kanpur in 2015, 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.