{"id":2,"date":"2011-05-26T16:52:44","date_gmt":"2011-05-26T16:52:44","guid":{"rendered":"http:\/\/homepages.inf.ed.ac.uk\/jdf\/?page_id=2"},"modified":"2024-04-14T09:27:44","modified_gmt":"2024-04-14T09:27:44","slug":"about-me","status":"publish","type":"page","link":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/","title":{"rendered":""},"content":{"rendered":"<p>I\u00a0 am a (full) Professor in the School of Informatics and hold a Chair of Artificial Intelligence. I am also:<\/p>\n<ul>\n<li>Head of the <a href=\"https:\/\/aiml.inf.ed.ac.uk\">AI Modelling Lab<\/a> (AIML), within the Artificial Intelligence and its Applications Institute (AIAI).<\/li>\n<li><a href=\"http:\/\/edin.care\/team\">Acade<\/a><a href=\"http:\/\/edin.care\/team\">mic<\/a><a href=\"http:\/\/edin.care\/team\"> Lead<\/a>\u00a0and a member of the core management team for the University of Edinburgh&#8217;s \u00a320m\u00a0<a href=\"http:\/\/edin.care\">Advanced Care Research Centre (ACRC)<\/a>.\n<ul>\n<li>As part of the ACRC, I lead the\u00a0<a href=\"https:\/\/www.ed.ac.uk\/usher\/advanced-care-research-centre\/programme\/new-technologies-of-care\">Integrated Technologies of Care<\/a> research theme.<\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/www.ed.ac.uk\/usher\/aim-cisc\/meet-the-team\">AI Lead<\/a> on the NIHR Grant,\u00a0Artificial Intelligence and Multimorbidity: Clustering in Individuals, Space and Clinical Context (<a href=\"https:\/\/www.ed.ac.uk\/usher\/aim-cisc\">AIM-CISC<\/a>).<\/li>\n<li>Member of the Strategic Opportunities and Futures Board of the newly created University of Edinburgh&#8217;s \u00a37.5m <a href=\"https:\/\/efi.ed.ac.uk\/activity-and-partners\/centre-for-investing-innovation\/\">Centre for Investing Innovation<\/a>.<\/li>\n<\/ul>\n<p>My main field of research lies in AI Modelling, which spans areas such as interactive theorem proving, formal verification, process modelling, and AI\/machine learning applied to health\/care, medicine and other complex domains.<\/p>\n<p>These days, I am particularly interested in the interactions between, and the combination of, symbolic\/knowledge- and data-driven approaches to Artificial Intelligence.\u00a0More information about current research interests, projects etc. can be found on our <strong><a href=\"https:\/\/aiml.inf.ed.ac.uk\">AI Modelling Lab<\/a>\u00a0<\/strong>website.<\/p>\n<p><strong>Opportunities:<\/strong><\/p>\n<blockquote><p><strong><span style=\"color: #ff6600;\">PhD in AI for Health\/Care and Medicine:<\/span><\/strong><span style=\"color: #ff6600;\">\u00a0<\/span>Are you interested in developing and applying AI techniques ranging from formal verification to machine learning to real-world health and care processes? Are you interested in <strong>Explainable and\/or causal AI<\/strong> for <strong>medicine, health<\/strong> and <strong>care<\/strong>? If the answer is yes to any of these questions, contact me.\u00a0Funding may be available for good candidates.<\/p>\n<p><strong><span style=\"color: #ff6600;\">PhD in Formal Modelling and Verification for AI:<\/span><\/strong> I am interested in supervising PhD students who wish to explore and develop the <strong>foundations of AI algorithms and approaches<\/strong>, e.g. machine learning (including Deep Learning) and logic-based learning, via <strong>formal modelling and verification<\/strong>. Candidates will need\u00a0to have a strong \u00a0background in mathematics, an interest in computational logic\/theorem proving and experience in machine learning and other aspects of AI. Funding is available for strong applicants.<\/p>\n<p><strong><span style=\"color: #ff6600;\">PhD in Formalised\u00a0Mathematics for Physics:<\/span><\/strong>\u00a0I am looking for research students interested in \u00a0the \u00a0formalization of physics, whether theoretical or with a view towards its applications to the real world (e.g. the formal verification of safety properties related to robotics and autonomous navigation). Funding may be available for strong students.<\/p><\/blockquote>\n<p><strong>Some of my latest research interests:<\/strong><\/p>\n<ul>\n<li><strong>AI for health and care<\/strong>, with an emphasis on the modelling of computer- and human-based processes and their interactions using AI techniques, and on the use of of AI\/ML for predictive and <em>causal<\/em> modelling in health and care. More information is available on the <a href=\"http:\/\/aiml.inf.ed.ac.uk\">AIML<\/a> webpage.<\/li>\n<li><strong>Formal verification for AI\/ML<\/strong>, especially with regards to reinforcement learning, autonomous agents and differentiable programs.<\/li>\n<li><strong>Formalised mathematics<\/strong>: I am working\u00a0 on the formal reconstruction in the theorem prover Isabelle of proofs from\u00a0<a title=\"The Master of Us All\" href=\"http:\/\/en.wikipedia.org\/wiki\/Leonhard_Euler\">Euler<\/a>&#8216;s famous\u00a0<em><a title=\"Introductio\" href=\"http:\/\/en.wikipedia.org\/wiki\/Introductio_in_analysin_infinitorum\">Introductio in analysin infinitorum<\/a>\u00a0<\/em>(Introduction to the Analysis of the Infinite), first published in 1748 and on Euler&#8217;s\u00a0<a href=\"https:\/\/en.wikipedia.org\/wiki\/Institutiones_calculi_differentialis\">Institutiones calculi differentialis<\/a>\u00a0\u00a0(Foundations of differential calculus). More generally, I am interested in all aspects of formalised mathematics.<\/li>\n<li><strong>Process modelling<\/strong> for complex systems including manufacturing, healthcare and beyond.<\/li>\n<\/ul>\n<p><strong>Latest Refereed Publications (kind of up-to-date, see the AIML&#8217;s\u00a0<a href=\"https:\/\/aiml.inf.ed.ac.uk\/publications-and-outputs\">publication<\/a>\u00a0webpage for more information)<\/strong><strong>:<\/strong><\/p>\n<ul>\n<li> Smola F. and Fleuriot J. D. (2024). Linear Resources in Isabelle\/HOL. Journal of Automated Reasoning,  68(9).<\/li>\n<li> DeLong L. N., Fern\u00e1ndez Mir R. and Fleuriot J. D. (2024).Neurosymbolic AI for Reasoning Over Knowledge Graphs: A Survey. IEEE Transactions on Neural Networks and Learning Systems.<\/li>\n<li>Moreno G. R., Restocchi R., Fleuriot J. D., Anand A., Mercer S., Guthrie B. (2024). Multimorbidity analysis with low condition counts: A robust Bayesian approach for small but important subgroups.\u00a0 eBioMedicine, Volume 102, <a href=\"https:\/\/doi.org\/10.1016\/j.ebiom.2024.105081\">https:\/\/doi.org\/10.1016\/j.ebiom.2024.105081<\/a>.<\/li>\n<li>Burton J. K.,\u00a0 McMinn M., Vaughan J. E.,\u00a0 Nightingale G., Fleuriot J., Guthrie B. (2024). Analysis of the impact of COVID-19 on Scotland\u2019s care-homes from March 2020 to October 2021: national linked data cohort analysis. To appear in <a href=\"https:\/\/academic.oup.com\/ageing\">Age and Ageing Journal<\/a>.<\/li>\n<li>Ho L., Pugh C., Seth S., Arakelyan S., Lone N., Lyall M. J., Anand A., Fleuriot J. D., Galdi P., Guthrie B. (2024). Predicting short- to medium-term care home admission risk in older adults: a systematic review of externally validated models.  Age and Ageing, Volume 53, Issue 5.<\/li>\n<\/ul>\n<p><strong>\u00a0Recent Working Papers:<\/strong><\/p>\n<ul>\n<li>DeLong L. N., Fern\u00e1ndez Mir R., Whyte M., Ji Z., Fleuriot J. D. (2023). Neurosymbolic AI for Reasoning on Graph Structures: A Survey. <a href=\"https:\/\/arxiv.org\/abs\/2302.07200\">arXiv:2302.07200<\/a> (Under Review).<\/li>\n<\/ul>\n<p><strong>A Few Papers currently in Preparation:<\/strong><\/p>\n<ul>\n<li>Mechanizing the Hyperdual Numbers in Isabelle\/HOL.<\/li>\n<li>L\u2019Hospital\u2019s Theorems and Euler\u2019s Notions of Orders of Infinity in Isabelle\/HOL.<\/li>\n<li>Reconstructing Euler in Isabelle: The Exponential Series as an Infinite Polynomial.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>I\u00a0 am a (full) Professor in the School of Informatics and hold a Chair of Artificial Intelligence. I am also: Head of the AI Modelling Lab (AIML), within the Artificial Intelligence and its Applications Institute (AIAI). Academic Lead\u00a0and a member &hellip; <a href=\"https:\/\/homepages.inf.ed.ac.uk\/jdf\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-2","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/pages\/2","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=2"}],"version-history":[{"count":32,"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/pages\/2\/revisions"}],"predecessor-version":[{"id":5,"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/pages\/2\/revisions\/5"}],"wp:attachment":[{"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/media?parent=2"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}