Associate Professor, Department of Computer Science and Engineering
Embedded and Cyber-Physical Systems
Robotics
Artificial Intelligence
Formal Methods
Department of Computer Science and Engineering
RM 408 (Rajeev Motwani Building)
Indian Institute of Technology Kanpur
Uttar Pradesh 208016, India
Thesis Title: PendingThesis Supervisor: Pending