{"id":11,"date":"2011-05-26T18:45:40","date_gmt":"2011-05-26T18:45:40","guid":{"rendered":"http:\/\/homepages.inf.ed.ac.uk\/jdf\/?page_id=11"},"modified":"2023-08-21T08:58:24","modified_gmt":"2023-08-21T08:58:24","slug":"research-grants","status":"publish","type":"page","link":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/research-grants\/","title":{"rendered":"Grants"},"content":{"rendered":"<p>Current<\/p>\n<ul>\n<li>2020-2027\u00a0\u00bb\u00a0Advanced Care Research Centre (<a href=\"http:\/\/edin.care\">ACRC<\/a>).\u00a0Funded by Legal &amp; General Group (\u00a320m).\n<ul>\n<li>2020-2025 \u00bb Integrated Technologies of Care. Funded by the ACRC (around \u00a32.3m). I am the <strong>Lead<\/strong> for this research theme and my work is on the knowledge- and data-driven modelling of care for older people. More info <a href=\"https:\/\/www.ed.ac.uk\/usher\/advanced-care-research-centre\/programme\/new-technologies-of-care\">here<\/a>.<\/li>\n<\/ul>\n<\/li>\n<li>2021-2025 \u00bb Artificial Intelligence and Multimorbidity: Clustering in Individuals, Space and Clinical Context (AIM-CISC). <a href=\"https:\/\/www.research.ed.ac.uk\/en\/projects\/artificial-intelligence-and-multimorbidity-clustering-in-individu\"><strong>AI Lead<\/strong><\/a> for NIHR funded grant <a href=\"https:\/\/fundingawards.nihr.ac.uk\/award\/NIHR202639\">NIHR202639<\/a> (\u00a33,919,510).<\/li>\n<li>2021-2024\u00a0\u00bb\u00a0Formalising Haag-Kastler Nets in Higher-order Logic, AFR grant funded by the Luxembourg National Research Fund that involves mechanising axiomatic Quantum Field Theory in Isabelle\/HOL. RA\/PhD Student: Richard Schmoetten (\u00a3140,398).<\/li>\n<li>2023-2025 \u00bb<a href=\"https:\/\/web.inf.ed.ac.uk\/eliai\/projects\/verified-neural-network-training-for-safe-human\"> <span dir=\"ltr\" role=\"presentation\">Constrained Neural Network Training via Theorem Proving, with\u00a0Applications to Safe Human-Robot Interaction<\/span><\/a>. Funded by <a href=\"https:\/\/web.inf.ed.ac.uk\/eliai\">ELIAI<\/a>.<\/li>\n<\/ul>\n<p>Past<\/p>\n<ul>\n<li>2019 \u00bb\u00a0Digitizing industrial workflows II. Edinburgh PI of EIT Digital funded project with multiple EU partners (around\u00a0EUR 500K total).<\/li>\n<li>2018 \u00bb\u00a0Digitizing industrial workflows. Edinburgh PI of EIT Digital funded project with multiple EU partners (around\u00a0EUR 550K total).<\/li>\n<li>2015\u20132019 \u00bb Integration and Interaction of Multiple Mathematical Reasoning Processes. EPSRC funded platform grant <a href=\"http:\/\/gow.epsrc.ac.uk\/NGBOViewGrant.aspx?GrantRef=EP\/N014758\/1\">EP\/N014758\/1<\/a> (\u00a31,304,455).<\/li>\n<li>2014-2017\u00a0\u00a0\u00bb ProofPeer: Collaborative Theorem Proving. EPSRC funded responsive mode project\u00a0EP\/L011794\/1 (\u00a3653,510).<\/li>\n<li>2013\u20132016 \u00bb Concept Invention Theory (<a href=\"http:\/\/www.iiia.csic.es\/coinvent\/\">COINVENT<\/a>), EU funded FP7 research\u00a0project (\u00a3359,118\/EUR 502,766).<\/li>\n<li>2012-2013 \u00bb\u00a0Computer-based Modelling for Safe Intra-hospital Patient Transfers. EPSRC\/University of Edinburgh funded \u00a0project in collaboration with St Mary&#8217;s Hospital, Imperial College Healthcare NHS Trust, UK and\u00a0Biomedical Informatics, University of California San Diego, USA (\u00a326,428). RA: Petros Papapanagiotou and Areti Manataki.<\/li>\n<li>2011\u20132015 \u00bb Integration and Interaction of Multiple Mathematical Reasoning Processes. EPSRC funded platform grant <a href=\"http:\/\/gow.epsrc.ac.uk\/NGBOViewGrant.aspx?GrantRef=EP\/J001058\/1\">EP\/J001058\/1<\/a> (\u00a31,140,286).<\/li>\n<li>2007\u20132011 \u00bb Integration and Interaction of Multiple Mathematical Reasoning Processes. EPSRC funded platform grant EP\/E005713\/1 (\u00a3928,224).<\/li>\n<li>2004\u20132007 \u00bb Automated Analysis of Security Critical Systems. EPSRC funded project GR\/S98139\/01 (\u00a3183,664).<\/li>\n<li>2002\u20132007 \u00bb Integration and Interaction of Multiple Mathematical Reasoning Processes. EPSRC funded platform grant GR\/S01771\/01 (\u00a3426,265).<\/li>\n<li>2005\u20132006 \u00bb Royal Society of Edinburgh\/Scottish Executive Research Fellowship.<\/li>\n<li>2001\u20132004 \u00bb A Generic Approach to Proof Planning. EPSRC funded responsive mode project GR\/N37414 (\u00a362,839). RA\/PhD Student: Lucas Dixon.<\/li>\n<li>2001\u20132004 \u00bb A Proof System for Correct Program Development. EPSRC funded project GR\/N6457\/01 (\u00a3197,475).<\/li>\n<li>1999\u20132003 \u00bb Computational Modelling of Mathematical Reasoning. EPSRC funded rolling grant GR\/M45030 (\u00a3914,659).<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p style=\"text-align: center;\">More info may be available on my\u00a0<a href=\"http:\/\/gow.epsrc.ac.uk\/NGBOViewPerson.aspx?PersonId=79430\" rel=\"nofollow\">ESPRC Profile<\/a>\u00a0or via\u00a0<a href=\"https:\/\/orcid.org\/0000-0002-6867-9836\">ORCID<\/a>.<\/p>\n<p style=\"text-align: right;\">\n","protected":false},"excerpt":{"rendered":"<p>Current 2020-2027\u00a0\u00bb\u00a0Advanced Care Research Centre (ACRC).\u00a0Funded by Legal &amp; General Group (\u00a320m). 2020-2025 \u00bb Integrated Technologies of Care. Funded by the ACRC (around \u00a32.3m). I am the Lead for this research theme and my work is on the knowledge- and &hellip; <a href=\"https:\/\/homepages.inf.ed.ac.uk\/jdf\/research-grants\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":199,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-11","page","type-page","status-publish","has-post-thumbnail","hentry"],"_links":{"self":[{"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/pages\/11","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/comments?post=11"}],"version-history":[{"count":20,"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/pages\/11\/revisions"}],"predecessor-version":[{"id":390,"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/pages\/11\/revisions\/390"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/media\/199"}],"wp:attachment":[{"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/media?parent=11"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}