Khushraj Madnani

Assistant Professor, Department of CSE
IIT Guwahati, Guwahati - 781039
Assam, India

Office

Room No.: H-209
Phone: +91 361 258
Email: khushraj @ iitg.ac.in

Research Interests

Formal verification of infinite-state systems, automata and logics for timed systems, formal logics and models of computation, and network controlled cyber physical systems.