Formal Methods in Systems Engineering
Programming is difficult, and errors in critical computer systems can be dangerous and expensive. We are developing mathematically precise tools which assist human engineers in the construction and analysis of programs. Our methods are aiming to make programs more reliable, predictable, and secure.
Learn moreResearch
Fundamental research topics include software model checking, test case generation, static analysis, protocol verification, and formal methods for distributed and concurrent systems. Industrial research is focusing on low level software, and embedded systems in the avionics and automotive sector.
Learn moreTeaching
We are offering courses in Formal Methods, Model Checking, Computer-Aided Verification, Abstract Interpretation, and Decision Procedures. We are always looking for enthusiastic young people who are interested in a research project or thesis in the Bachelor, Master, and PhD programs.
Learn moreLatest News
Uni-Finanzierung als Absurdes Theater (Der Standard)
An sieben Universitäten werden in Österreich Informatik-Studien angeboten, aber mehr als 50 Prozent der Studierenden wählen die TU Wien – über 1000 Studienanfänger jährlich. Der gute Ruf der TU Wien wird zum Fluch für das Studium, denn auf 52 habilitierte Professoren kommen fast 7000 Studierende; ein solches Verhältnis wäre bei anderen international führenden Universitäten undenkbar. [...]
[Read More...]Doctoral College “Adaptive Distributed Systems”
Call for applications
Start of program in winter semester 2012
Ultimate closing: March 15th, 2013
Upcoming Course: Ana Sokolova
Course on Coalgebra in Computer Science
March 8 – June 28, 2012 in seminar room Gödel / von Neumann
[Read More...]