Dr. Amit Kumar Dhar 
Ad-hoc Faculty
Ph.D.


Courses Taught:

Research Interests:

Designing efficient algorithms for Model-Checking, Employing Automata theoretic techniques for various problems in formal verification and controller synthesis.


         

Email: amitdhar [AT] iiita [DOT] ac [DOT] in

Address: 5056 (CC-III) (Temporary Office)
Indian Institute of Information Technology - Allahabad
Devghat, Jhalwa,
Allahabad 211 015, (UP) INDIA

Phone: +91-532-292

Personal Home Page:

BACK





Announcements

Department of IT invites applications for admission to PhD program (With Institute/ External Fellowship)/ Non full-time PhD Program for Working Professionals) for January 2024 session. Please click here for more information
Last date for application: 10th December, 2023
Date of Written Test and Interview: 20th December, 2023