Project ID: PR1002ERC02
Name: Formal Methods for Stochastic Models: Algorithms and Applications
Acronym: ForM-SMArt
Grant Number: 863818
Funder Registry: N/A
Funder: EC/H2020
Funder Schema: N/A
Department: KrCh
Start Date: 2020-10-01
End Date: 2025-09-30
Principal Investigator(s): Krishnendu Chatterjee; 

Project ID: PR1002ERC01
Name: Quantitative Graph Games: Theory and Applications
Acronym: GraphGames
Grant Number: 279307
Funder Registry: N/A
Funder: EC/FP7
Funder Schema: N/A
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: N/A
Funder: FWF
Funder Schema: N/A
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: N/A
Grant Number: P 23499-N23
Funder Registry: N/A
Funder: FWF
Funder Schema: N/A
Department: KrCh
Start Date: 2011-09-01
End Date: 2015-08-31
Principal Investigator(s): Krishnendu Chatterjee; 

Project ID: PT1002S11407
Name: Game Theory
Acronym: SHINE
Grant Number: S11407
Funder Registry: N/A
Funder: FWF
Funder Schema: N/A
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: N/A
Funder: Microsoft 
Funder Schema: N/A
Department: KrCh
Start Date: 2011-04-01
End Date: 2021-03-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: N/A
Funder: WWTF
Funder Schema: N/A
Department: KrCh
Start Date: 2016-03-15
End Date: 2020-03-14
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: N/A
Funder: IBM
Funder Schema: N/A
Department: KrCh
Start Date: 2018-09-01
End Date: 2019-05-31
Principal Investigator(s): Amir Goharshady ; 

Project ID: PR1002OEAW01
Name: Quantitative Analysis of Probablistic Systems with a focus on Crypto-currencies
Acronym: N/A
Grant Number: N/A
Funder Registry: N/A
Funder: OEAW
Funder Schema: N/A
Department: KrCh
Start Date: 2019-06-01
End Date: 2021-11-30
Principal Investigator(s): Amir Goharshady ; 

Project ID: PR1002FFG01
Name: Graphical Games
Acronym: Graphical Games
Grant Number: 894907
Funder Registry: N/A
Funder: FFG
Funder Schema: N/A
Department: KrCh
Start Date: 2022-11-01
End Date: 2023-04-30
Principal Investigator(s): Esra Ceylan;