Skip to content

news

New Project funded by the Edinburgh Laboratory for Integrated Artificial Intelligence (ELIAI)

    The Edinburgh Laboratory for Integrated Artificial Intelligence (ELIAI) will fund a new project on integrating theorem proving and neural learning led by Jacques Fleuriot in collaboration with Ram Ramamoorthy. The 2-year project will involve the development of theorem-proving framework that allows for formal representation and proofs, and then faithful code-generation, of user-specified, spatio-temporal constraints that can then be used for learning in scenarios involving human-robot interaction

    Opportunity: Multimorbidity PhD Programme for Health Professionals

      The Clinical PhD Research Fellowships are fixed term 3-year appointments offering training, mentoring and support to health professionals undertaking a PhD on the topic of multimorbidity.

      We are looking for applicants who are interested in working on understanding the “Co-existing mental and physical multimorbidity, adverse events, and longer term outcomes in hospitalised patients with sepsis“.

      More info available here.

      Paper accepted at CICM 2022

        Our paper, “Re-imagining the Isabelle Archive of Formal Proofs” (MacKenzie, Huch, Vaughan and Fleuriot), has been accepted at the 15th Conference on Intelligent Computer Mathematics (CICM 2022).

        New Archive of Formal Proof Website

          A project involving Carlin MacKenzie, James Vaughan and Jacques Fleuriot has resulted in a re-design and re-implementation of the Archive of Formal Proofs, which is a collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle. The revamped website (https://www.isa-afp.org) is now live and will serve the Isabelle community across the world. The Edinburgh team worked with Fabian Huch of TU Munich to integrate their work into the AFP infrastructure.

          Programme Co-ordinator post available on Artificial Intelligence for Multiple Long-Term Conditions Programme

            We are looking for an experienced researcher (Grade 8, salary £42,149-£50,296), with a PhD in Artificial Intelligence, machine learning or data science, to coordinate and support the delivery of our core AI research programme and well as overarching programme management. This a joint post between the School of Medicine and the School of Informatics at the University of Edinburgh.

            Artificial Intelligence and Multimorbidity: Clustering in Individuals, Space and Clinical Context (AIM-CISC) is a 3 year, £3.9 million research programme funded by the National Institute for Health Research (NIHR) Artificial Intelligence for Multiple Long-Term Conditions Programme. AIM-CISC is led by a multidisciplinary team from The University of Edinburgh, University College London and NHS Lothian. This includes clinical and genetic researchers studying complex multimorbidity, public partners, social scientists researching wider social and spatial determinants of health and care, and informatics and data science academics with AI expertise across multiple domains including natural language processing, machine-learning including multilayer network analysis, and applied AI.