Inzemamul Haque

Department of Computer Science and Automation

Indian Institute of Science, Bangalore



I am a PhD student at Department of Computer Science and Automation, Indian Institute of Science (IISc), Bangalore. My research advisor is Dr. Deepak D'Souza.

My research area is formal methods in software engineering broadly. Particularly I am interested in program analysis, verification and automata theory. Currently I am working on verification of a separation kernel.

Prior to joining IISc, I completed B.Tech in Computer Engineering from Zakir Husain College of Engineering and Technology, Aligarh Muslim University (AMU), Aligarh in 2013.