csa-logo

Inzemamul Haque


Department of Computer Science and Automation


Indian Institute of Science, Bangalore

iisc-logo

Welcome

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.

my-photo