 |
Ph.D. Stanford University, 1991
|
President
IST Austria
(Institute of Science and Technology Austria)
|
| Coordinates |
Mail: Am Campus 1, A-3400 Klosterneuburg
Email: my_three_initials@ist.ac.at
Phone: +43 2243 9000 1016
Fax (not private): +43 2243 9000 2000
Biographical sketch
Curriculum vitae
|
| Research |
Blast: Model checking of software
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
|
| Lectures |
Reliable Systems Engineering
(Inaugural Lecture, EPFL, December 2006)
|
| Publications |
By year
By topic
By venue:
conferences;
journals
Bibtex entries
DBLP database
Google scholar
|
| Current Students |
Maria Mateescu
Tatjana Petrov
Arjun Radhakrishna
Vasu Singh
Gregory Theoduloz
Anmol Tomar
Damien Zufferey
|
| Former Students |
Pei-Hsin Ho
(Ph.D. Cornell, 1995):
Automatic Analysis of Hybrid Systems
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
|