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
Rajeev Gore
Interactive Synthesis of Verified Vote-counting Programs
Wed, Sep 26 at 16:30
Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
details

VCLA
Toby Walsh
Living with Artificial Intelligence – How to stay Human
Thu, Sep 20 at 18:00
Prechtlsaal, Ground floor, TU Wien, Karlsplatz 13, 1040 Wien
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

VCLA
Iyad Kanj
How to navigate through obstacles?
Wed, Jul 25 at 14:00
Library, Favoritenstraße 9-11, Stairs 2, Floor 4 (HB 04 08)
details

VCLA
Markus Endres
Preference-Aware Database Systems
Tue, Jul 24 at 14:00
Menger meeting room, Favoritenstraße 9-11, Stairs 2, Floor 3 (HF 03 11)
details

VCLA
Steven Chaplick
Approximation Schemes for Geometric Coverage Problems
Thu, Jul 19 at 11:00
Library, Favoritenstraße 9-11, Stairs 2, Floor 4 (HB 04 08)
details

VCLA
Torsten Schaub
ASP in Time
Tue, Jun 26 at 09:30
Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
details

VCLA
Ramchandra Phawade
Combining free choice and time in Petri nets
Fri, Jun 22 at 11:00
Library, Favoritenstraße 9-11, Stairs 2, Floor 4 (HB 04 08)
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

VCLA
Martin Josef Geige
Solving large-scale, mid-term planning problems under multiple objectives – A contribution to VeRoLog 2017 optimization competition
Tue, May 29 at 15:00
Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
details

VCLA
Ronald de Haan
Using Knowledge Compilation in Social Choice
Tue, May 29 at 14:00
Seminar Room Neumann, Favoritenstrasse 9-11, Ground Floor, (HB EG 16)
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

RiSE seminar
Oded Padon
Deductive verification of distributed protocols in first-order logic
Wed, Apr 18 at 17:00
IST Austria, Mondi 2
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

Latest News

Helmut Veith 1971-2016

It is with the deepest sadness that we announce Helmut Veith’s passing on March 12, 2016. Helmut was a brilliant researcher, an inspiring collaborator, a stimulating teacher, a generous friend, and a wonderful father and husband. He leaves a void that will be impossible to fill. Our thoughts are with his family and friends.

Continue reading

Profil article on women in logic

A recent article in the Austrian weekly Profil about female logicians in Austria is featuring Agata Ciabattoni, Martina Seidl, Laura Kovacs, Magdalena Ortiz, Marijana Lazic, Shqiponja Ahmetaj, and Neha Lodha. All women are affiliated with the Doctoral College Logical Methods in Computer Science.  

Continue reading

Full news archive