Khushraj Madnani
Assistant Professor
khushraj @ iitg ⋅ ac ⋅ in
Research Interest:
Formal verification of infinite-state systems, automata and logics for timed systems, formal logics and models of computation, and network controlled cyber physical systems
Personal Website | Vidwan Profile