Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

Jakub Svoboda

Ali Asadi

Mehrdad Karrabi

Raimundo Saona Urmeneta

Krishnendu Chatterjee

Ruichen Luo

Ehsan Kafshdar Goharshadi

Valentin Hübner

Djordje Zikelic

Rasmus Ibsen-Jensen

Mingzhang Huang

Tadeas Priklopil

Florian Horn

Jan Kretinsky

Tobias Meggendorfer

Johannes Reiter

Christian Hilbe

Petr Novotny

Maximilian Weininger

Mathieu Tracol

Maria Kleshnina

Pepa Tkadlec

Ismael Jecker

Andreas Pavlogiannis

Viktor Toman

Joost Katoen

Sasha Rubin

John Lazarsfeld

Amir Goharshady

Hongfei Fu

Laura Schmid

Benjamin Aminof

Martin Chmelik

Ventsislav Chonev



10 Grants


Rigorous Systems Engineering (RiSE)

2011-03-01 – 2015-02-28
Austrian Science Fund

Modern Graph Algorithmic Techniques in Formal Verification (Modern Graph Algorithms)

2011-09-01 – 2015-08-31
Austrian Science Fund

Quantitative Graph Games: Theory and Applications (Graph Games)

2011-12-01 – 2016-11-30
European Research Council

Microsoft Research Faculty Fellowship

2011-04-01 – 2026-12-31
Microsoft Research

Game Theory (Shine)

2015-03-01 – 2019-08-31
Austrian Science Fund

Efficient Algorithms for Computer Aided Verification

2016-03-15 – 2021-06-30
Vienna Science and Technology Fund

Quantitative Game-theoretic Analysis of Blockchain Applications and Smart Contracts

2018-09-01 – 2019-05-31
IBM Research

Quantitative Analysis of Probabilistic Systems with a focus on Crypto-Currencies

2019-06-01 – 2021-01-31
Österreichischen Akademie der Wissenschaften

Formal Methods for Stochastic Models: Algorithms and Applications (ForM-SMArt)

2021-01-01 – 2025-12-31
European Research Council

Graphical Games (Graphical Games)

2022-11-01 – 2023-04-30
Österreichische Forschungsförderungsgesellschaft

Search

Filter Publications

Display / Sort

Export / Embed