|
|
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:
|