Card image cap
Amit Kumar Dhar
Assistant Professor
Department of EECS
Indian Institute of Technology Bhilai
Phone : (+91) 771-2551-300 Extn: 6144
Email : amitkdhar [at] iitbhilai·ac·in
Research Interests
Automated Computer Aided Verification · Model-Checking · Formal Methods · Temporal Logics · SMT Solvers
IC100 - Introduction to Programming
2018-19-M Semester

Program for: B.Tech. 1st Semester (all branches)
Course Website : Moodle (accessible within IITBhilai LAN)
Past Experiences
December 2015 - June 2018

Department: Department of Information Technology
Post-Doctoral Researcher, Université Libre de Bruxelles, Belgium
October 2014 - November 2015
Project: Cassting
Selected Publications
October 2011 - December 2014

Field: Computer Science (Informatique)
Topic: Algorithms for Model-Checking Flat Counter Systems
September 2010 - September 2011

Field: Computer Science (Informatique)
Thesis: Counter Systems with Presburger-definable Reachability Sets : Decidability and Complexity
August 2008 - August 2010

Field: Computer Science
Thesis: Automata Over Infinite Words.
Supervisors: K Narayan Kumar

Message From Director

IIT Bhilai is striving for research-driven undergraduate and postgraduate education. Our objective is to create an education system with multifacet outcomes including research, entrepreneurship, technical leadership, and above all, responsible citizenship. Read More


Subscribe to our Newsletter and stay tuned.