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
Stefan Milius
Eilenberg Theorems for Free
Thu, Feb 07 at 11:00
Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
details
VCLA
Francesco Scarcello
Tree projection width and fixed-parameter tractable queries
Mon, Jan 21 at 16:00
Seminar room von Neumann, Favoritenstrasse 9-11, Ground Floor (HB EG 16)
details
VCLA
Fabrizio Montecchiani
Advances on 1-planar graphs
Tue, Jan 15 at 11:00
Algorithms and Complexity library, HB 04 08
details
VCLA
Marijn Heule
Massively Parallel Solving of Math Problems
Mon, Jan 07 at 17:00
EI 4 Reithoffer lecture room, Gußhausstraße 25 (old building), 2nd floor
details
VCLA
Sanjay Modgil
Logic, Argument and Dialectic
Wed, Dec 12 at 16:00
Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
details
VCLA
Sebastian Rudolph
The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics
Fri, Nov 23 at 14:30
Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
details
VCLA
Fredrik Heintz
Reasoning and Learning over Streams for Safe Autonomous Systems
Fri, Nov 23 at 13:30
Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
details
VCLA
Alice Miller
Probabilistic model checking for UAV strategy generation
Wed, Nov 21 at 10:00
Meeting Room Menger, Favoritenstrasse 9-11 (HF 03 11)
details
VCLA
Vladimir Lifschitz
How We Studied the Input Language of gringo
Mon, Nov 19 at 12:30
Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
details
VCLA
Moshe Vardi
How the Hippies Destroyed the Internet
Thu, Nov 08 at 18:15
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
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

Full news archive

See all news.