Main Content
 |
PhD Stanford University, 1991 |
|
President IST Austria (Institute of Science and Technology Austria) Biographical sketch Curriculum vitae Research group |
|
| Coordinates |
Mail: Am Campus 1, A-3400 Klosterneuburg Email: my_three_initials@ist.ac.at Assistant: Sabine.Ghobriel@ist.ac.at Phone: +43 2243 9000 1016 Fax (not private): +43 2243 9000 2000 |
| 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 |
| Open positions | If you are interested in pursuing a doctoral degree or postdoc in one of these areas, please contact us. |
| Lectures | Reliable Systems Engineering (Inaugural Lecture, EPFL, December 2006) |
| Publications |
By year By topic By venue: conferences; journals Bibtex entries DBLP database Google Scholar Microsoft Academic Search |
| Current students |
Maria Mateescu
Tatjana Petrov Arjun Radhakrishna Anmol Tomar Damien Zufferey |
| Former students |
Pei-Hsin Ho
(PhD Cornell, 1995):
Automatic Analysis of Hybrid Systems
Peter W. Kopke (PhD Cornell, 1996): The Theory of Rectangular Hybrid Automata Sriram K. Rajamani (PhD Berkeley, 1999): New Directions in Refinement Checking Shaz Qadeer (PhD Berkeley, 1999): Methodology for Scalable Model Checking Freddy Y.C. Mang (PhD Berkeley, 2002): Games in Open Systems Verification and Synthesis Benjamin Horowitz (PhD Berkeley, 2003): Giotto: A Time-triggered Language for Embedded Programming Rupak Majumdar (PhD Berkeley, 2003): Symbolic Algorithms for Verification and Control Ranjit Jhala (PhD Berkeley, 2004): Program Verification by Lazy Abstraction Arindam Chakrabarti (PhD Berkeley, 2007): A Framework for Compositional Design and Analysis of Systems Krishnendu Chatterjee (PhD Berkeley, 2007): Stochastic Omega-Regular Games Arkadeb Ghosal (PhD Berkeley, 2008): A Hierarchical Coordination Language for Reliable Real-Time Tasks Slobodan Matic (PhD Berkeley, 2008): Compositionality in Deterministic Real-Time Embedded Systems Vinayak S. Prabhu (PhD Berkeley, 2008): Games for the Verification of Timed Systems Vasu Singh (PhD EPFL, 2009): Formalizing and Verifying Transactional Memories Gregory Theoduloz (PhD EPFL, 2010): Software Verification by Combining Program Analyses of Adjustable Precision |
| Communities |
ARiSE
(Austrian Rigorous Systems Engineering)
ARTIST (European Network of Excellence on Embedded Systems Design) CHESS (UC Berkeley Center for Hybrid and Embedded Software Systems) TReSoR (EPFL Thrust in Reliable Software Research) |
Last updated in November 2010.