Main Content
| Mission | We are concerned with developing new theories, technologies, and tools for the model-based design and analysis of reactive systems, including software, hardware, embedded, and biological systems. |
| Team |
Udi Boker
Pavol Cerny Tom Henzinger Dejan Nickovic Arjun Radhakrishna Ali Sezgin Vasu Singh Anmol Tomar Thomas Wies Damien Zufferey |
| Administrative assistant |
Email: Elisabeth.Hacker@ist.ac.at Phone: +43 2243 9000 1015 Mail: Am Campus 1, A-3400 Klosterneuburg |
| Open positions | If you are interested in pursuing a doctoral degree or postdoc in our group, please contact us. The application procedure for graduate students is described here. |
| Events | Weekly RiSE Seminar (Rigorous Systems Engineering) |
| 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.