Research associate at the Computer Science Department at Stanford University, working with Professor Zohar Manna on the specification and verification of reactive systems. Currently on leave of absence, and now working full time at Kestrel Technology. 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. Teaching: CS357D: Static Analysis of Programs and Reactive Systems Conferences: Conferences in 2007 (by region, alphabetically) Conferences in 2008 (by region, alphabetically)

Publications Research links Personal