Hi! Since December 2020, I am a PhD student advised by Prof. Jan Křetínský at the Chair for Foundations of Software Reliability and Theoretical Computer Science, Technical University of Munich, Germany.
Should you be interested in a discussion/collaboration, please write to me at email@example.com or drop by my office.
I work in the area of Formal Verification and interested in exploring the interplay between it and machine learning. Recently, I started exploring runtime verification of neural networks. dblp, Google Scholar.
Previously, I was a researcher at Tata Research Development and Design Centre (TRDDC), Pune, where I worked with Prof. Kumar Madhukar from 2017 till 2020. Before this, I completed my Master's degree in Computer Science from the Chennai Mathematical Institute, India.