Project ID: #N/A
Name: Quantitative Reactive Modeling
Acronym: QUAREM
Grant Number: 267989
Funder Registry: N/A
Funder: EC/FP7
Funder Schema: N/A
Department: ToHe
Start Date: 2011-05-01
End Date: 2016-04-30
Principal Investigator(s): Thomas A Henzinger; 

Project ID: #N/A
Name: COMponent-Based Embedded Systems design Techniques
Acronym: Combest
Grant Number: 215543
Funder Registry: N/A
Funder: EC/FP7
Funder Schema: N/A
Department: ToHe
Start Date: 2009-09-01
End Date: 2011-03-31
Principal Investigator(s): Thomas A Henzinger; 

Project ID: #N/A
Name: Design for Embedded Systems
Acronym: ArtistDesign
Grant Number: 214373
Funder Registry: N/A
Funder: EC/FP7
Funder Schema: N/A
Department: ToHe
Start Date: 2009-09-01
End Date: 2012-03-31
Principal Investigator(s): Thomas A Henzinger; 

Project ID: #N/A
Name: Rigorous Systems Engineering
Acronym: RISE
Grant Number: S11402-N23
Funder Registry: N/A
Funder: FWF
Funder Schema: N/A
Department: ToHe
Start Date: 2011-03-01
End Date: 2015-02-28
Principal Investigator(s): Thomas A Henzinger; 

Project ID: PT1001Z211
Name: The Wittgenstein Prize
Acronym: N/A
Grant Number: Z211
Funder Registry: N/A
Funder: FWF
Funder Schema: N/A
Department: ToHe
Start Date: 2014-01-01
End Date: 2020-12-31
Principal Investigator(s): Thomas A Henzinger; 

Project ID: PT1001S11402
Name: Moderne Concurrency Paradigms
Acronym: SHINE
Grant Number: S11402-N23
Funder Registry: N/A
Funder: FWF
Funder Schema: N/A
Department: ToHe
Start Date: 2015-03-01
End Date: 2019-08-31
Principal Investigator(s): Thomas A Henzinger; 

Project ID: PR1001MSR01
Name: Automated Tutoring System for Automata Theory
Acronym: N/A
Grant Number: N/A
Funder Registry: N/A
Funder: Microsoft 
Funder Schema: N/A
Department: ToHe
Start Date: 2011-01-01
End Date: 2021-12-31
Principal Investigator(s): Thomas A Henzinger; 

Project ID: PT1001M02369
Name: Formal Methods meets Algorithmic Game Theory
Acronym: N/A
Grant Number: M02369
Funder Registry: N/A
Funder: FWF
Funder Schema: N/A
Department: ToHe
Start Date: 2018-02-01
End Date: 2020-01-31
Principal Investigator(s): Guy Avni; 

Project ID: PR1001F8502
Name: Interface Theory for Security and Privacy
Acronym: SPyCoDe
Grant Number: F8502
Funder Registry: N/A
Funder: FWF
Funder Schema: N/A
Department: ToHe
Start Date: 2023-01-01
End Date: 2026-12-31
Principal Investigator(s): Thomas A Henzinger; 

Project ID: PR1001ERC02
Name: Vigilant Algorithmic Monitoring of Software
Acronym: VAMOS
Grant Number: 101020093
Funder Registry: N/A
Funder: EC/H2020
Funder Schema: N/A
Department: ToHe
Start Date: 2022-01-01
End Date: 2026-12-31
Principal Investigator(s): Thomas A Henzinger; 

Project ID: PR1001SBFP01
Name: Design of Autonomous Cyber-Physical System with Learning and Complex Problem-Solving Capacities
Acronym: N/A
Grant Number: N/A
Funder Registry: N/A
Funder: Simons_Foundation
Funder Schema: N/A
Department: ToHe
Start Date: 2021-01-12
End Date: 2021-05-31
Principal Investigator(s): Anna Lukina;