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
Upcomming Events
Research Interests
Automated Computer Aided Verification · Model-Checking · Formal Methods · Temporal Logics · SMT Solvers
Teaching
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
Education
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

I am pleased to extend my greetings to students and their parents as well as colleagues near and far. IIT Bhilai was established on 7 August 2016. We are located in Chhattisgarh, the rice bowl of India, in a state rich in natural resources as well as cultural memory and heritage. Read More

Newsletter

Subscribe to our Newsletter and stay tuned.