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