Project ID: PR1002ERC02
Name: Formal Methods for Stochastic Models: Algorithms and Applications
Acronym: ForM-SMArt
Grant Number: 863818
Funder Registry: 10.13039/501100000781
Funder: European Research Council
Funder Schema: H2020-ERC-CoG
Department: KrCh
Start Date: 2021-01-01
End Date: 2025-12-31
Principal Investigator(s): Krishnendu Chatterjee; 
Grant DOI: 10.3030/863818

Project ID: PR1002ERC01
Name: Quantitative Graph Games: Theory and Applications
Acronym: Graph Games
Grant Number: 279307
Funder Registry: 10.13039/501100000781
Funder: European Research Council
Funder Schema: FP7-ERC-StG
Department: KrCh
Start Date: 2011-12-01
End Date: 2016-11-30
Principal Investigator(s): Krishnendu Chatterjee; 

Project ID: #N/A
Name: Rigorous Systems Engineering
Acronym: RiSE
Grant Number: S 11407_N23
Funder Registry: 10.13039/501100002428
Funder: Austrian Science Fund
Funder Schema: FWF-NFN
Department: KrCh
Start Date: 2011-03-01
End Date: 2015-02-28
Principal Investigator(s): Krishnendu Chatterjee; 

Project ID: #N/A
Name: Modern Graph Algorithmic Techniques in Formal Verification
Acronym: Modern Graph Algorithms
Grant Number: P 23499-N23
Funder Registry: 10.13039/501100002428
Funder: Austrian Science Fund
Funder Schema: FWF-StA
Department: KrCh
Start Date: 2011-09-01
End Date: 2015-08-31
Principal Investigator(s): Krishnendu Chatterjee; 
Grant DOI: 10.55776/P23499

Project ID: PT1002S11407
Name: Game Theory
Acronym: Shine
Grant Number: S11407
Funder Registry: 10.13039/501100002428
Funder: Austrian Science Fund
Funder Schema: FWF-NFN
Department: KrCh
Start Date: 2015-03-01
End Date: 2019-08-31
Principal Investigator(s): Krishnendu Chatterjee; 

Project ID: PR1002MRF01
Name: Microsoft Research Faculty Fellowship
Acronym: N/A
Grant Number: N/A
Funder Registry: 10.13039/100006112
Funder: Microsoft Research
Funder Schema: MS-RFF
Department: KrCh
Start Date: 2011-04-01
End Date: 2026-12-31
Principal Investigator(s): Krishnendu Chatterjee; 

Project ID: PR1002WWTF01
Name: Efficient Algorithms for Computer Aided Verification
Acronym: N/A
Grant Number: ICT15-003
Funder Registry: 10.13039/501100001821
Funder: Vienna Science and Technology Fund
Funder Schema: WWTF-ICT15
Department: KrCh
Start Date: 2016-03-15
End Date: 2021-06-30
Principal Investigator(s): Krishnendu Chatterjee; 

Project ID: PR1002IBM01
Name: Quantitative Game-theoretic Analysis of Blockchain Applications and Smart Contracts
Acronym: N/A
Grant Number: N/A
Funder Registry: 10.13039/100025305
Funder: IBM Research
Funder Schema: IBM-PhPF
Department: KrCh
Start Date: 2018-09-01
End Date: 2019-05-31
Principal Investigator(s): Amir Kafshdar Goharshady; 

Project ID: PR1002OEAW01
Name: Quantitative Analysis of Probabilistic Systems with a focus on Crypto-Currencies
Acronym: N/A
Grant Number: N/A
Funder Registry: 10.13039/501100001822
Funder: Österreichischen Akademie der Wissenschaften
Funder Schema: OeAW-DOC
Department: KrCh
Start Date: 2019-06-01
End Date: 2021-01-31
Principal Investigator(s): Amir Kafshdar Goharshady; 

Project ID: PR1002FFG01
Name: Graphical Games
Acronym: Graphical Games
Grant Number: 894907
Funder Registry: 10.13039/501100004955
Funder: Österreichische Forschungsförderungsgesellschaft
Funder Schema: FFG-FEMTech
Department: KrCh
Start Date: 2022-11-01
End Date: 2023-04-30
Principal Investigator(s): Esra Ceylan; 

Project ID: PC.C0004.1.F.1002.A
Name: Bilateral Artificial Intelligence (Chatterjee)
Acronym: BILAI
Grant Number: COE12
Funder Registry: 10.13039/501100002428
Funder: Austrian Science Fund
Funder Schema: FWF-COE
Department: KrCh
Start Date: 2024-10-01
End Date: 2029-09-30
Principal Investigator(s): Krishnendu Chatterjee; 
Grant DOI: 10.55776/COE12

Project ID: 
Name: Verification of Relational Properties in Probabilistic Programs
Acronym: N/A
Grant Number: 27751
Funder Registry: 10.13039/501100001822
Funder: Österreichische Akademie der Wissenschaften
Funder Schema: OeAW-DOC
Department: KrCh
Start Date: 2026-09-01
End Date: 2028-08-31
Principal Investigator(s): Ehsan Kafshdar Goharshadi; 

Project ID: 
Name: Probably the best moment to terminate
Acronym: Promt
Grant Number: ICT25-017
Funder Registry: 10.13039/501100001821
Funder: Vienna Science and Technology Fund
Funder Schema: WWTF-ICT25
Department: KrCh
Start Date: 2026-01-01
End Date: 2029-12-31
Principal Investigator(s): Krishnendu Chatterjee;