[{"funder_schema":"FP7-ERC-AdG","end_date":"2016-04-30","grant_number":"267989","funded":"1","date_created":"2019-08-01T08:19:57Z","project_code_application":"P_TOHE_ERC01","old_ist_project_code":"P_TOHE_ERC01","name":"Quantitative Reactive Modeling","call_identifier":"FP7","date_updated":"2025-04-28T12:16:38Z","department":[{"_id":"ToHe"}],"funder_registry":"10.13039/501100000781","acronym":"QUAREM","_id":"25EE3708-B435-11E9-9278-68D0E5697425","principal_investigator":[{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"}],"ist_project_code":"#N/A","funder":["European Research Council"],"start_date":"2011-05-01"},{"ist_project_code":"#N/A","funder":["European Commission"],"start_date":"2009-09-01","acronym":"Combest","principal_investigator":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","first_name":"Thomas A"}],"_id":"25EFB36C-B435-11E9-9278-68D0E5697425","date_updated":"2025-04-28T12:16:36Z","department":[{"_id":"ToHe"}],"funder_registry":"10.13039/501100000780","call_identifier":"FP7","name":"COMponent-Based Embedded Systems design Techniques","date_created":"2019-08-01T08:19:57Z","project_code_application":"P_TOHE_EU01","old_ist_project_code":"P_TOHE_EU01","funded":"1","funder_schema":"FP7-COOP-ICT","end_date":"2011-03-31","grant_number":"215543"},{"start_date":"2009-09-01","ist_project_code":"#N/A","funder":["European Commission"],"_id":"25F1337C-B435-11E9-9278-68D0E5697425","principal_investigator":[{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"}],"acronym":"ArtistDesign","date_updated":"2025-04-28T12:16:36Z","funder_registry":"10.13039/501100000780","department":[{"_id":"ToHe"}],"call_identifier":"FP7","name":"Design for Embedded Systems","project_code_application":"P_TOHE_EU02","old_ist_project_code":"P_TOHE_EU02","date_created":"2019-08-01T08:19:57Z","funded":"1","grant_number":"214373","funder_schema":"FP7-COOP-ICT","end_date":"2012-03-31"},{"acronym":"RiSE","_id":"25F2ACDE-B435-11E9-9278-68D0E5697425","principal_investigator":[{"first_name":"Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"funder":["Austrian Science Fund"],"ist_project_code":"#N/A","start_date":"2011-03-01","call_identifier":"FWF","name":"Rigorous Systems Engineering","department":[{"_id":"ToHe"}],"funder_registry":"10.13039/501100002428","date_updated":"2025-04-28T12:16:38Z","date_created":"2019-08-01T08:19:57Z","old_ist_project_code":"P_TOHE_FWF01","project_code_application":"P_TOHE_FWF01","end_date":"2015-02-28","funder_schema":"FWF-NFN","grant_number":"S11402-N23","funded":"1"},{"old_ist_project_code":"P_TOHE_FWF02_Z211P","project_code_application":"1001Z211","date_created":"2019-08-01T08:19:57Z","grant_doi":"10.55776/Z211","funded":"1","grant_number":"Z211","funder_schema":"FWF-Witt","end_date":"2021-06-30","start_date":"2014-01-01","funder":["Austrian Science Fund"],"ist_project_code":"PT1001Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","principal_investigator":[{"first_name":"Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"department":[{"_id":"ToHe"}],"funder_registry":"10.13039/501100002428","date_updated":"2025-04-28T12:16:41Z","call_identifier":"FWF","name":"Formal methods for the design and analysis of complex systems"},{"end_date":"2019-08-31","funder_schema":"FWF-NFN","grant_number":"S11402-N23","funded":"1","date_created":"2019-08-01T08:19:57Z","project_code_application":"1001S11402","old_ist_project_code":"P_TOHE_FWF03_S11402P","name":"Moderne Concurrency Paradigms","call_identifier":"FWF","date_updated":"2025-04-28T12:16:47Z","department":[{"_id":"ToHe"}],"funder_registry":"10.13039/501100002428","acronym":"Shine","principal_investigator":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","first_name":"Thomas A"}],"_id":"25F5A88A-B435-11E9-9278-68D0E5697425","ist_project_code":"PT1001S11402","funder":["Austrian Science Fund"],"start_date":"2015-03-01"},{"funder_schema":"MS-MES","end_date":"2024-12-31","funded":"1","project_code_application":"PR1001MSR01 // P_TOHE_MSR01","old_ist_project_code":"P_TOHE_MSR01","date_created":"2019-08-01T08:19:57Z","name":"Automated Tutoring System for Automata Theory","date_updated":"2025-04-28T12:16:38Z","funder_registry":"10.13039/100006112","department":[{"_id":"ToHe"}],"_id":"25F74276-B435-11E9-9278-68D0E5697425","principal_investigator":[{"first_name":"Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"acronym":"MSRESA","start_date":"2011-01-01","ist_project_code":"PR1001MSR01","funder":["Microsoft Research"]},{"start_date":"2018-02-01","ist_project_code":"PT1001M02369","funder":["Austrian Science Fund"],"_id":"264B3912-B435-11E9-9278-68D0E5697425","principal_investigator":[{"id":"463C8BC2-F248-11E8-B48F-1D18A9856A87","last_name":"Avni","first_name":"Guy"}],"date_updated":"2025-04-28T12:17:00Z","department":[{"_id":"ToHe"}],"funder_registry":"10.13039/501100002428","name":"Formal Methods meets Algorithmic Game Theory","call_identifier":"FWF","project_code_application":"1001M02369","date_created":"2019-08-01T08:19:58Z","grant_doi":"10.55776/M2369","funded":"1","grant_number":"M02369","end_date":"2020-01-31","funder_schema":"FWF-LM"},{"funded":"1","end_date":"2026-12-31","funder_schema":"FWF-SFB","grant_number":"F8502","date_created":"2022-08-01T18:46:08Z","project_code_application":"PR1001F8502","department":[{"_id":"ToHe"}],"funder_registry":"10.13039/501100002428","date_updated":"2025-04-28T12:17:25Z","name":"Interface Theory for Security and Privacy","funder":["Austrian Science Fund"],"ist_project_code":"PR1001F8502","start_date":"2023-01-01","acronym":"SPyCoDe","principal_investigator":[{"first_name":"Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"_id":"34a1b658-11ca-11ed-8bc3-c75229f0241e"},{"call_identifier":"H2020","name":"Vigilant Algorithmic Monitoring of Software","funder_registry":"10.13039/501100000781","department":[{"_id":"ToHe"}],"date_updated":"2025-04-28T12:17:18Z","acronym":"VAMOS","principal_investigator":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","first_name":"Thomas A"}],"_id":"62781420-2b32-11ec-9570-8d9b63373d4d","funder":["European Research Council"],"ist_project_code":"PR1001ERC02","start_date":"2022-01-01","funder_schema":"H2020-ERC-AdG","end_date":"2026-12-31","grant_number":"101020093","funded":"1","grant_doi":"10.3030/101020093","date_created":"2021-10-12T07:59:54Z","project_code_application":"PR1001ERC02"},{"principal_investigator":[{"first_name":"Anna","last_name":"Lukina","id":"CBA4D1A8-0FE8-11E9-BDE6-07BFE5697425"}],"_id":"fc337e1f-9c52-11eb-aca3-c807f14352bd","ist_project_code":"PR1001SBFP01","date_created":"2021-04-13T12:22:59Z","funder":["Simons Institute for the Theory of Computing, University of California Berkeley"],"project_code_application":"PR1001SBFP01","start_date":"2021-01-12","funder_schema":"SI-SBRF","end_date":"2021-05-31","name":"Design of Autonomous Cyber-Physical System with Learning and Complex Problem-Solving Capacities","date_updated":"2025-04-28T12:17:13Z","funded":"1","department":[{"_id":"ToHe"}],"funder_registry":"10.13039/100017637"}]