Ph.D. Stanford University, 1991
Models and Theory of Computation
Computer and Communication Sciences
EPFL
Mail: EPFL Station 14, CH-1015 Lausanne, Switzerland
Email: my_three_initials@epfl.ch
Phone: +41 21 693-5234
Fax (not private): +41 21 693-7540
Assistant (Sylvie Vaucher): +41 21 693-5283
Biographical sketch
Curriculum vitae
Citation rank
Problem Solving in Computer Science (Fall 2008)
Model Checking (Fall 2007)
Chic: Interface-based design
Computational modeling in biology
Games for verification and control
Giotto: Embedded software design
HyTech: Verification of hybrid automata
Liveness of reactive systems
Mocha: Assume-guarantee model checking
Real Time: Logics and automata
Symbolic algorithms for system analysis
Transactional memories
By topic
By venue: conferences; journals
Bibtex entries
DBLP database
Google scholar
Tatjana Petrov
Vasu Singh
Gregory Theoduloz
Peter W. Kopke (Ph.D. Cornell, 1996): The Theory of Rectangular Hybrid Automata
Sriram K. Rajamani (Ph.D. Berkeley, 1999): New Directions in Refinement Checking
Shaz Qadeer (Ph.D. Berkeley, 1999): Methodology for Scalable Model Checking
Freddy Y.C. Mang (Ph.D. Berkeley, 2002): Games in Open Systems Verification and Synthesis
Benjamin Horowitz (Ph.D. Berkeley, 2003): Giotto: A Time-triggered Language for Embedded Programming
Rupak Majumdar (Ph.D. Berkeley, 2003): Symbolic Algorithms for Verification and Control
Ranjit Jhala (Ph.D. Berkeley, 2004): Program Verification by Lazy Abstraction
Arindam Chakrabarti (Ph.D. Berkeley, 2007): A Framework for Compositional Design and Analysis of Systems
Krishnendu Chatterjee (Ph.D. Berkeley, 2007): Stochastic Omega-Regular Games
Arkadeb Ghosal (Ph.D. Berkeley, 2008): A Hierarchical Coordination Language for Reliable Real-Time Tasks
Slobodan Matic (Ph.D. Berkeley, 2008): Compositionality in Deterministic Real-Time Embedded Systems
Vinayak S. Prabhu (Ph.D. Berkeley, 2008): Games for the Verification of Timed Systems