[{"call_identifier":"H2020","start_date":"2020-10-01","grant_number":"863818","funded":1,"department":[{"_id":"KrCh"}],"name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","principal_investigator":[{"first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"}],"date_created":"2020-04-09T08:49:28Z","date_updated":"2020-04-09T08:49:28Z","acronym":"ForM-SMArt","ist_project_code":"PR1002ERC02","end_date":"2025-09-30","funder":["EC/H2020"]},{"ist_project_code":"PR1002ERC01","acronym":"GraphGames","end_date":"2016-11-30","funder":["EC/FP7"],"call_identifier":"FP7","start_date":"2011-12-01","grant_number":"279307","funded":1,"department":[{"_id":"KrCh"}],"name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425","old_ist_project_code":"P_KRCH_ERC01","date_created":"2019-08-01T08:19:56Z","principal_investigator":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","last_name":"Chatterjee"}],"date_updated":"2020-01-16T10:14:49Z"},{"grant_number":"S 11407_N23","start_date":"2011-03-01","call_identifier":"FWF","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","old_ist_project_code":"P_KRCH_FWF01","date_updated":"2020-01-21T12:27:29Z","principal_investigator":[{"last_name":"Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"}],"date_created":"2019-08-01T08:19:56Z","funded":1,"department":[{"_id":"KrCh"}],"acronym":"RISE","ist_project_code":"#N/A","funder":["FWF"],"end_date":"2015-02-28"},{"date_updated":"2020-01-21T12:27:29Z","principal_investigator":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","last_name":"Chatterjee"}],"date_created":"2019-08-01T08:19:56Z","_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification","old_ist_project_code":"P_KRCH_FWF02","department":[{"_id":"KrCh"}],"funded":1,"grant_number":"P 23499-N23","call_identifier":"FWF","start_date":"2011-09-01","funder":["FWF"],"end_date":"2015-08-31","ist_project_code":"#N/A"},{"ist_project_code":"PT1002S11407","acronym":"SHINE","funder":["FWF"],"end_date":"2019-08-31","grant_number":"S11407","call_identifier":"FWF","start_date":"2015-03-01","principal_investigator":[{"first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"}],"date_updated":"2020-01-21T12:27:29Z","date_created":"2019-08-01T08:19:56Z","old_ist_project_code":"P_KRCH_FWF03_S11407P","_id":"25863FF4-B435-11E9-9278-68D0E5697425","name":"Game Theory","department":[{"_id":"KrCh"}],"funded":1},{"department":[{"_id":"KrCh"}],"funded":1,"date_created":"2019-08-01T08:19:56Z","principal_investigator":[{"last_name":"Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"}],"date_updated":"2019-08-01T08:19:56Z","_id":"2587B514-B435-11E9-9278-68D0E5697425","name":"Microsoft Research Faculty Fellowship","old_ist_project_code":"P_KRCH_MRF01","start_date":"2011-04-01","end_date":"2021-03-31","funder":["Microsoft "],"ist_project_code":"PR1002MRF01"},{"_id":"25892FC0-B435-11E9-9278-68D0E5697425","name":"Efficient Algorithms for Computer Aided Verification","old_ist_project_code":"P_KRCH_WWTF01","principal_investigator":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","last_name":"Chatterjee"}],"date_created":"2019-08-01T08:19:56Z","date_updated":"2019-08-01T08:19:56Z","funded":1,"department":[{"_id":"KrCh"}],"grant_number":"ICT15-003","start_date":"2016-03-15","funder":["WWTF"],"end_date":"2020-03-14","ist_project_code":"PR1002WWTF01"},{"end_date":"2019-05-31","funder":["IBM"],"ist_project_code":"PR1002IBM01","department":[{"_id":"KrCh"}],"funded":1,"principal_investigator":[{"last_name":"Goharshady ","first_name":"Amir"}],"date_updated":"2019-08-01T08:19:58Z","date_created":"2019-08-01T08:19:58Z","_id":"266EEEC0-B435-11E9-9278-68D0E5697425","name":"Quantitative Game-theoretic Analysis of Blockchain Applications and Smart Contracts","start_date":"2018-09-01"},{"start_date":"2019-06-01","date_created":"2019-08-01T08:19:58Z","date_updated":"2019-08-01T08:19:58Z","principal_investigator":[{"first_name":"Amir","last_name":"Goharshady "}],"name":"Quantitative Analysis of Probablistic Systems with a focus on Crypto-currencies","_id":"267066CE-B435-11E9-9278-68D0E5697425","department":[{"_id":"KrCh"}],"funded":1,"ist_project_code":"PR1002OEAW01","funder":["OEAW"],"end_date":"2021-11-30"},{"start_date":"2022-11-01","grant_number":"894907","department":[{"_id":"KrCh"}],"funded":1,"date_created":"2023-04-07T14:51:55Z","date_updated":"2023-04-07T14:51:55Z","principal_investigator":[{"last_name":"Ceylan","first_name":"Esra"}],"name":"Graphical Games","_id":"bd622a5c-d553-11ed-ba76-bae280ba8aff","ist_project_code":"PR1002FFG01","acronym":"Graphical Games","end_date":"2023-04-30","funder":["FFG"]}]