Purandar Bhaduri
Professor
+91 361 258 2360
pbhaduri @ iitg ⋅ ac ⋅ in
Research Interest:
Formal Verification of Reactive/Embedded/Cyber-Physical Systems, Controller Synthesis, Logic and Semantics of Computation
Personal Website | Vidwan Profile