Dr Inzemamul Haque works on application of formal methods and artificial intelligence to software systems and cyber-physical systems. He completed his PhD from Indian Institute of Science, Bangalore, where he worked on the formal verification of an OS microkernel. After his PhD, Dr Inzemamul Haque was a postdoctoral fellow at the Department of Computer Science and Engineering at Indian Institute of Technology Kanpur, where he worked on counter-example guided synthesis of neural-network based controllers and action plan synthesis of collaborative robots. Dr Inzemamul Haque also holds a BTech in Computer Engineering from Aligarh Muslim University. In addition to research in computer science, he is also interested in various branches of knowledge including history, politics and religion.