Purandar Bhaduri

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

Department/Centre/School