Academic rigor, journalistic flair
Professor, School of Mathematical and Computer Sciences, Heriot-Watt University
I am a logician with keen interest in Artificial Intelligence (AI). Logic studies mathematical properties of thinking and reasoning, be it informal argumentation as e.g. in politics or formal proofs as in sciences. Although humankind has been interested in Logic since at least Ancient Greece, in the modern world, Logic's most useful applications are in programming language research and in verification of software systems. In particular, the current popularity of AI applications demands giving safety and security guarantees to the new technology that impacts our everyday lives. I lead the research lab for AI and Verification (LAIV.uk) that develops methods for ensuring safety and security of AI.
Experience
-
2020–2021Professor, Heriot-Watt University
-
2016–2020Associate Professor, Heriot-Watt University
-
2010–2016Lecturer, Reader, Dundee University
-
2008–2010Research Fellow, University of St Andrews
-
2007–2008Research Assistant, INRIA, France
-
2004–2007PhD Student, University College Cork
- Article Feed
- Joined
