Muqsit Azeem

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.

If you are interested in a discussion or collaboration, please write to me at firstname.lastname@tum.de or drop by my office.

Contact

MI 03.11.041
Faculty of Informatics, Technical University of Munich
Boltzmannstr. 3, 85748 Garching
Germany

Research

I work in the area of Formal Verification and am interested in exploring the interplay between it and machine learning. Recently, I started exploring runtime verification of neural networks. dblp, Google Scholar.

Community Service

Talks

News

Teaching Activities

Past

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.