Activity
Roles
- Academic Coordinator - IoT Research & Innovation Service, 2019-2022
- Local organizer: Data-Driven Management & Digital Consulting with Celonis 2021 & 2022 - 3 Week Masterclass with 100+ student participants
- Co-organiser: Health-Informatics in Action (2 University-wide events), University of Edinburgh, 2018-2019
- Workshop Chair: 10th Conference on Intelligent Computer Mathematics (CICM 2017)
- Co-organizer: IJCAR Workshop on Automated Theory eXploration (ATX 2012)
- Co-organizer: 9th International Workshop on Automated Deduction in Geometry (ADG 2012)
- Student representative: CISA 2011-2013
Talks and Events
Excluding conference and workshop talks.
- Invited talk: “New Technologies for Care: Process, Performance and Predictive Modelling”, Challenges of Ageing and Care course, ACRC Academy, 2021
- Invited interview: “Fireside Chats with Academic Partners”, Celonis Ecosystem Summit 2021
- Panelist: “Artificial Intelligence in Healthcare - The State of the Art and Future”, Data Science in Health - Perspectives from Edinburgh and Singapore event, Singapore 2018. Relevant Tweets
- Invited pitch: “WorkflowFM”, Digital Health Conference, Digital Health Institute (DHI), 2015
- Invited presentation: “Workflow technologies for care pathways”, Scottish Intercollegiate Guidelines Network (SIGN), NHS Scotland, 2014
- Invited Guest Lecture: “Inductive Reasoning”, University of Jakarta, Indonesia, 2011
- Invited talk: “Formal Verification”, University of Athens, Greece, 2009
- Invited talk: “Automated Reasoning & Planning”, University of Athens, Greece, 2008
Academic Groups
- 2019-today: AI Modelling Lab (AIML)
- 2009-2022: Artificial Intelligence and its Applications Institute (AIAI) (formerly the Centre for Intelligent Systems and their Applications - CISA)
- 2009-2022: The Mathematical Reasoning (DReaM) group
Peer Review
- Program Committee Member:
- ICT4AWE 2024
- HEALTHINF 2024
- AAMAS 2018, 2019, 2020, Blue Sky Track 2023
- AAAI 2019, 2020, 2021, 2022
- ECAI 2020
- HyperAgents 2019
- AISC 2018
- Math-AI Workshop 2021
- MATHAI4ED - Math AI for Education: Bridging the Gap Between Research and Smart Education (NeurIPS 2021 Workshop)
- IJCAR Workshop on Automated Theory eXploration (ATX 2012)
- Reviewer: Applied Logics, MDPI Informatics, Applied Intelligence (Springer)
- Technical Reviewer: Cancer Innovation Challenge 2018
- Sub-reviewer: Diagrams 2010-2016 & 2021, IJCAR 2012, CICM
Teaching
- 2022: Inf2D: Reasoning and Agents - Undergraduate (2nd Year)
Lecturer - 2010-2014: Inf2D: Reasoning and Agents – Undergraduate (2nd Year)
Teaching Assistant, Tutor, Demonstrator, Marker - 2011, 2013: Automated Reasoning – Undergraduate (4th Year) & Postgraduate (MSc)
Teaching Assistant, Tutor, Demonstrator, Marker
Guest Lectures
- Hoare Logic, Automated Reasoning, 2016-2021
- Social Machines, Semantic Web Systems, 2016
- Functional Programming with Haskell, Reasoning and Agents, 2011-2014
- Inductive Reasoning, Automated Reasoning, 2012
- Theorem Proving for Service Composition, 2011
PhD Examination
- Alan Dormer: An Application of Business Rule Optimisation, Monash University, 2020.