Research

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 more

Teaching

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 more

Talks (details)

RiSE seminar
Warren Hunt
tba
Wed, May 30 at 17:00
TU Wien, tba
details

RiSE seminar
Alexey Bakhirkin
Towards Fast Parametric Identification for STL
Wed, May 23 at 17:00
IST Austria, Mondi 2
details

VCLA
Gyula O.H. Katona
Cryptology, Isoperimetric Problems and Shadows
Wed, May 23 at 11:15
Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
details

RiSE seminar
Melkior Ornik
Deception and Unpredictability in Control Systems
Wed, May 16 at 17:00
IST Austria, Mondi 2
details

RiSE seminar
Stefan Schmid
Polynomial-Time What-If Analysis for Communication Networks: An Automata-Theoretic Approach
Wed, May 09 at 17:00
IST, Mondi 2
details

RiSE seminar
Stefan Ratschan
Counter-example Guided Inductive Synthesis in the Continuous World
Tue, May 08 at 15:00
IST Austria, Mondi 2
details

VCLA
Christian Klamler
Using Borda Scores for Ranking Sets of Objects
Thu, May 03 at 14:00
Seminar Room 183/2, Favoritenstr. 9-11, Yellow Area, Stairs 1 (HA 04 03)
details

RiSE seminar
Oded Padon
Deductive verification of distributed protocols in first-order logic
Wed, Apr 18 at 17:00
IST Austria, Mondi 2
details

VCLA
Daniel Paulusma
Colouring Square-Free Graphs without Long Induced Paths
Wed, Apr 18 at 11:30
Seminar Room Neumann, Favoritenstrasse 9-11, Ground Floor, (HB EG 16)
details

VCLA
Henning Fernau
Self-monitoring approximation algorithms
Mon, Apr 09 at 17:00
Seminar Room Neumann, Favoritenstrasse 9-11, Ground Floor, (HB EG 16)
details

RiSE seminar
Sergiy Bogomolov
Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata
Thu, Apr 05 at 16:00
IST Austria
details

RiSE seminar
Lionel Briand
Automated Testing of Autonomous Systems
Wed, Apr 04 at 16:00
IST Austria, Raiffeisen Lecture Hall
details

RiSE seminar
Philipp Rümmer
Deciding and Interpolating Algebraic Data Types by Reduction
Fri, Mar 16 at 10:30
TU Wien, HS Zemanek, Favoritenstr. 9-11
details

VCLA
Benjamin Niedermann
On Ortho-Radial Drawings for Metro Networks
Tue, Feb 27 at 11:00
Library, Favoritenstraße 9-11, Stairs 2, Floor 4 (HB 04 08)
details

RiSE seminar
Alexandra Silva
CALF — a categorical automata learning framework
Mon, Feb 26 at 17:00
TU Wien
details

VCLA
Jorge Fandinno
Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports
Wed, Feb 14 at 14:00
Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
details

VCLA
Eunjung Kim
Erdos-Posa Property of Chordless Cycles and its Applications
Tue, Dec 19 at 16:00
Library, Favoritenstraße 9-11, Stairs 2, Floor 4 (HB 04 08)
details

VCLA
Przemysław Andrzej Wałęga
Horn fragments of Halpern-Shoham logic: complexity vs expressiveness
Wed, Dec 13 at 11:30
Seminar Room Neumann, Favoritenstrasse 9-11, Ground Floor, (HB EG 16)
details

VCLA
Maarten Löffler
Pleaching Pencil-&-Paper Picture Puzzles
Wed, Nov 22 at 15:00
Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
details

VCLA
Mohammad Farshi
(Weakly) Self-approaching graphs
Mon, Nov 13 at 16:30
Library, Favoritenstraße 9-11, Stairs 2, Floor 4 (HB 04 08)
details

Latest News

Helmut Veith Stipend

The first recipient of the Helmut Veith Stipend for excellent female master’s students in computer science will be presented on March 14 at the following event: "More female students in computer science. Who cares?" Panel discussion with renowned scientists about diversity in STEM Studies March 14, 5:30pm, TU Wien The Helmut Veith Stipend is dedicated […]

Continue reading

WAIT 2016 in Vienna

The third WAIT workshop on induction is held between 17-18 November at the TU Wien. Details are available on the workshop page.

Continue reading

Two papers at POPL’17

Two papers co-authored by researchers from our group have been accepted for POPL’17: “Coming to Terms with Quantified Reasoning” by Simon Robillard, Andrei Voronkov, and Laura Kovacs; and “A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms” by Igor Konnov, Marijana Lazic, Helmut Veith, and Josef Widder

Continue reading

Helmut Veith Stipend

Outstanding female students in the field of computer science who pursue (or plan to pursue) one of the master‘s programs in Computer Science at TU Wien taught in English are invited to apply for the Helmut Veith Stipend

Continue reading

Full news archive