Research associate at the Computer Science Department at Stanford University, working with Professor Zohar Manna on the specification and verification of reactive systems. Research Interests: Static analysis of discrete, real-time and hybrid systems Runtime analysis of programs Visual formalisms for verification Event Correlation Formalization of middleware constructs Decision procedures Application of verification methods to PLC's (programmable logic controllers) and industrial safety systems (such as emergency shutdown systems in chemical plants and refineries) Research project: STeP: Stanford Temporal Prover. Conferences: HSCC'06: 9th Int'l Workshop on Hybrid Systems: Computation and Control Conferences in 2005 Conferences in 2006

Publications Research links Personal