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)

VCLA
David Cerna
A Mobile Application for Self-Guided Study of Formal Reasoning
Wed, Oct 16 at 16:30
Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
details

VCLA
Gerd Brewka
Admissibility and Completeness Revisited
Tue, Oct 01 at 10:00
Seminarraum FAV 01 A (Seminarraum 183/2), Favoritenstraße 9-11, 1040 Wien, RoomNo.: HE 01 02
details

VCLA
Dana Scott
Free Logic: its Formalization and some Applications
Mon, Sep 30 at 16:00
FAV Hörsaal 1 (ground floor), Favoritenstrasse 9-11, 1040, Vienna
details

VCLA
Alexej Rotar
The Satisfiability Problem for Fragments of PCTL
Tue, Sep 24 at 15:50
FH 5, Freihaus building of TU Wien, Wiedner Hauptstraße 8-10, 1040 Wien
details

VCLA
Martin Munoz
Descriptive Complexity for Counting Complexity Classes
Tue, Sep 24 at 15:30
FH 5, Freihaus building of TU Wien, Wiedner Hauptstraße 8-10, 1040 Wien
details

VCLA
Yuri Gurevich
LOGIC in computer science and software industry (and in mathematics, time permitting)
Wed, Sep 18 at 16:00
Lecture room FAV 1, Favoritenstraße 9-11, 1040 Wien, RoomNo.: HB HEEG02
details

RiSE seminar
Tanja Schindler
A DPLL(T) theory solver for quantified formulas
Mon, Sep 16 at 11:00
TU Wien, Favoritenstr. 9-11, FAV Hörsaal 1 (Ground Floor)
details

VCLA
Tanja Schindler
A DPLL(T) theory solver for quantified formulas
Mon, Sep 16 at 11:00
FAV Hörsaal 1 (ground floor), Favoritenstrasse 9-11, 1040, Vienna
details

VCLA
Joshua Blinkhorn
Building Strategies into DQBF Proofs
Tue, Aug 27 at 11:00
Library of the Algorithms and Complexity Group, HB 04 08 (Favoritenstrasse 9-11)
details

VCLA
John D. Barrow
100 Years of Universes
Fri, Jul 26 at 18:30
Universität Wien, Kleiner Festsaal, Universitätsring 1, 1010 Wien
details

VCLA
Juliet Floyd
In and Out of Mind: Wittgenstein and Gödel, Post and Turing
Thu, Jul 25 at 17:00
Universität Wien, Kleiner Festsaal, Universitätsring 1, 1010 Wien
details

RiSE seminar
Mateus de Oliveira Oliveira
Some Width Measures for Proofs
Mon, Jun 24 at 16:00
TU Wien, Favoritenstr. 9-11, FAV Hörsaal 2
details

RiSE seminar
Anne Schreuder
Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence
Mon, Jun 17 at 10:00
TU Wien, Favoritenstr. 9-11, FAV Hörsaal 2
details

RiSE seminar
Aleksandar Nanevski
Type and Proof Structures for Concurrent Software Verification
Thu, Aug 16 at 17:00
TU Wien, Favoritenstr. 9-11, Seminarraum Gödel
details

RiSE seminar
Joost-Pieter Katoen
Bayes meets Dijkstra -- Exact Inference by Program Verification
Wed, Jun 06 at 17:00
TU Wien, Seminarraum 127 (Gußhausstr. 25-29 - Stiege 1 - 3.Stock)
details

RiSE seminar
Warren Hunt
Industrial Hardware and Software Verification with ACL2
Wed, May 30 at 17:00
TU Wien, Seminarraum 127 (Gußhausstr. 25-29 - Stiege 1 - 3.Stock)
details

RiSE seminar
Joel Ouaknine
Program Invariants
Tue, May 29 at 15:45
IST, Mondi Seminar Room 2, Central Building
details

RiSE seminar
Alexey Bakhirkin
Towards Fast Parametric Identification for STL
Wed, May 23 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

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