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
Tony Hoare
Unifying Theories of Programming with Concurrency and Distribution
Tue, Jun 28 at 16:00
IST Austria
details

RiSE seminar
Willy Zwaenepoel
Really Big Data: ​Analytics on Graphs with Trillions of Edges
Thu, Jun 02 at 16:00
IST Austria
details

VCLA
Leslie Lamport
A Mathematical View of Computer Systems – Q&A
Tue, May 31 at 18:00
Informatikhörsaal, Treitlstraße 3, 1040 Vienna
details

RiSE seminar
Erika Abraham
TBA
Tue, May 17 at 16:00
IST Austria
details

RiSE seminar
Idit Keidar
Transactional Data Structure Libraries
Thu, May 12 at 17:00
TU Wien
details

RiSE seminar
Branislav Bošanský
Computing Optimal Strategies in Dynamic Games with Finite Horizon
Tue, May 10 at 15:00
IST Austria
details

RiSE seminar
João Sousa Pinto
Solvability of Matrix-Exponential Equations
Wed, May 04 at 17:00
IST Austria
details

RiSE seminar
Tom van Dijk
Workers in forests: developments in parallel decision diagrams
Thu, Apr 28 at 17:00
TU Wien
details

VCLA
Tom van Dijk
Workers in forests: developments in parallel decision diagrams
Thu, Apr 28 at 17:00
Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna
details

RiSE seminar
Stanley Bak
High-level Analysis and the Verification of Hybrid Automata
Mon, Apr 18 at 14:00
IST Austria
details

RiSE seminar
Joseph Sifakis
Rigorous System Design in BIP
Tue, Apr 12 at 10:00
TU Wien
details

VCLA
Joseph Sifakis
Rigorous System Design in BIP
Tue, Apr 12 at 10:00
EI 10 Fritz Paschke lecture room, Gußhausstraße 27-29, Vienna
details

VCLA
O-Joung Kwon
Deletion problems regarding graphs of bounded rank-width
Mon, Mar 14 at 11:00
Seminar room von Neumann, Favoritenstraße 9-11, 1040 Vienna (ground floor, access through courtyard)
details

VCLA
Cliff B. Jones
Reasoning about Interference (or Lack Thereof)
Tue, Mar 08 at 17:30
Lecture hall EI10, Gusshausstraße 27-29, 1040 Vienna, ground floor
details

RiSE seminar
Cezara Dragoi
Psync: A partially synchronous language for fault-tolerant distributed algorithms
Thu, Mar 03 at 17:00
TU Wien
details

VCLA
Evgenia Ternovska
An Algebra of Modular Systems
Thu, Mar 03 at 15:30
Seminarroom 188/2, Favoritenstraße 9-11, 1040 Vienna, stairway 3, 4th floor
details

VCLA
Johannes Hölzl
Markov chains and Markov decision processes in Isabelle/HOL
Tue, Feb 23 at 16:00
Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna
details

VCLA
Pierre Bourhis
A Formal Study of Collaborative Access Control in Distributed Datalog
Thu, Feb 18 at 14:00
Seminar room von Neumann, Favoritenstraße 9-11, 1040 Vienna (ground floor, access through courtyard)
details

VCLA
Keren Censor-Hillel
Distributed Algorithms as Combinatorial Structures
Tue, Feb 16 at 13:00
Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna
details

VCLA
Maria Gorinova
Termination proving
Mon, Feb 08 at 14:00
Menger room, Favoritenstrasse 11, 3rd floor, TU Wien
details

Latest News

Laura Kovács joins FORSYTE as full professor

We welcome Laura Kovács, who joined the FORSYTE group as a full professor of computer science in April 2016. Laura also holds a part-time associate professorship at the Chalmers University of Technology, Sweden. Her research deals with the design and development of new theories, technologies, and tools for program analysis, with a particular focus on […]

Continue reading

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