Back to advisors
PK
Paritosh K. Pandya
Adjunct Professor
IIT Bombay · IndiaRobust Controller Synthesis and Runtime EnforcementMetric Temporal Logics and Timed automataDuration Calculus and Model CheckingRefinement Algebra and CSPHoare Logics for Distributed ProgramsReal-time Scheduling TheorySychronous Programming and Embedded Systems
Data verified 9/6/2026Source