[{"start_date":"2011-05-01","funder":["EC/FP7"],"call_identifier":"FP7","end_date":"2016-04-30","ist_project_code":"#N/A","acronym":"QUAREM","grant_number":"267989","date_created":"2019-08-01T08:19:57Z","name":"Quantitative Reactive Modeling","date_updated":"2020-01-16T10:14:50Z","principal_investigator":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger"}],"old_ist_project_code":"P_TOHE_ERC01","_id":"25EE3708-B435-11E9-9278-68D0E5697425","department":[{"_id":"ToHe"}],"funded":1},{"department":[{"_id":"ToHe"}],"funded":1,"old_ist_project_code":"P_TOHE_EU01","_id":"25EFB36C-B435-11E9-9278-68D0E5697425","date_updated":"2020-01-16T10:14:50Z","principal_investigator":[{"last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"name":"COMponent-Based Embedded Systems design Techniques","date_created":"2019-08-01T08:19:57Z","grant_number":"215543","acronym":"Combest","ist_project_code":"#N/A","end_date":"2011-03-31","call_identifier":"FP7","start_date":"2009-09-01","funder":["EC/FP7"]},{"start_date":"2009-09-01","funder":["EC/FP7"],"call_identifier":"FP7","end_date":"2012-03-31","acronym":"ArtistDesign","ist_project_code":"#N/A","date_created":"2019-08-01T08:19:57Z","grant_number":"214373","name":"Design for Embedded Systems","date_updated":"2020-01-16T10:14:50Z","principal_investigator":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger"}],"old_ist_project_code":"P_TOHE_EU02","_id":"25F1337C-B435-11E9-9278-68D0E5697425","department":[{"_id":"ToHe"}],"funded":1},{"acronym":"RISE","ist_project_code":"#N/A","date_created":"2019-08-01T08:19:57Z","grant_number":"S11402-N23","funder":["FWF"],"start_date":"2011-03-01","end_date":"2015-02-28","call_identifier":"FWF","old_ist_project_code":"P_TOHE_FWF01","_id":"25F2ACDE-B435-11E9-9278-68D0E5697425","department":[{"_id":"ToHe"}],"funded":1,"name":"Rigorous Systems Engineering","principal_investigator":[{"last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"date_updated":"2020-01-21T12:27:29Z"},{"call_identifier":"FWF","end_date":"2020-12-31","start_date":"2014-01-01","funder":["FWF"],"grant_number":"Z211","date_created":"2019-08-01T08:19:57Z","ist_project_code":"PT1001Z211","principal_investigator":[{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"}],"date_updated":"2020-01-21T12:27:29Z","name":"The Wittgenstein Prize","funded":1,"department":[{"_id":"ToHe"}],"_id":"25F42A32-B435-11E9-9278-68D0E5697425","old_ist_project_code":"P_TOHE_FWF02_Z211P"},{"funder":["FWF"],"start_date":"2015-03-01","end_date":"2019-08-31","call_identifier":"FWF","acronym":"SHINE","ist_project_code":"PT1001S11402","date_created":"2019-08-01T08:19:57Z","grant_number":"S11402-N23","name":"Moderne Concurrency Paradigms","date_updated":"2020-01-21T12:27:29Z","principal_investigator":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger"}],"old_ist_project_code":"P_TOHE_FWF03_S11402P","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","funded":1,"department":[{"_id":"ToHe"}]},{"ist_project_code":"PR1001MSR01","date_created":"2019-08-01T08:19:57Z","start_date":"2011-01-01","funder":["Microsoft "],"end_date":"2021-12-31","_id":"25F74276-B435-11E9-9278-68D0E5697425","old_ist_project_code":"P_TOHE_MSR01","funded":1,"department":[{"_id":"ToHe"}],"name":"Automated Tutoring System for Automata Theory","date_updated":"2019-08-01T08:19:57Z","principal_investigator":[{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"}]},{"start_date":"2018-02-01","funder":["FWF"],"end_date":"2020-01-31","call_identifier":"FWF","ist_project_code":"PT1001M02369","date_created":"2019-08-01T08:19:58Z","grant_number":"M02369","name":"Formal Methods meets Algorithmic Game Theory","date_updated":"2020-01-21T12:27:30Z","principal_investigator":[{"id":"463C8BC2-F248-11E8-B48F-1D18A9856A87","first_name":"Guy","last_name":"Avni"}],"_id":"264B3912-B435-11E9-9278-68D0E5697425","funded":1,"department":[{"_id":"ToHe"}]},{"date_updated":"2022-08-01T18:46:08Z","principal_investigator":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger"}],"name":"Interface Theory for Security and Privacy","department":[{"_id":"ToHe"}],"funded":1,"_id":"34a1b658-11ca-11ed-8bc3-c75229f0241e","end_date":"2026-12-31","funder":["FWF"],"start_date":"2023-01-01","date_created":"2022-08-01T18:46:08Z","grant_number":"F8502","acronym":"SPyCoDe","ist_project_code":"PR1001F8502"},{"ist_project_code":"PR1001ERC02","acronym":"VAMOS","grant_number":"101020093","date_created":"2021-10-12T07:59:54Z","funder":["EC/H2020"],"start_date":"2022-01-01","call_identifier":"H2020","end_date":"2026-12-31","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","funded":1,"department":[{"_id":"ToHe"}],"name":"Vigilant Algorithmic Monitoring of Software","principal_investigator":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger"}],"date_updated":"2021-10-12T07:59:54Z"},{"funder":["Simons_Foundation"],"start_date":"2021-01-12","end_date":"2021-05-31","ist_project_code":"PR1001SBFP01","date_created":"2021-04-13T12:22:59Z","name":"Design of Autonomous Cyber-Physical System with Learning and Complex Problem-Solving Capacities","principal_investigator":[{"last_name":"Lukina","id":"CBA4D1A8-0FE8-11E9-BDE6-07BFE5697425","first_name":"Anna"}],"date_updated":"2021-04-13T12:22:59Z","_id":"fc337e1f-9c52-11eb-aca3-c807f14352bd","funded":1,"department":[{"_id":"ToHe"}]}]