Menu Close

Ekaterina Komendantskaya

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 ( that develops methods for ensuring safety and security of AI.


  • 2020–2021
    Professor, Heriot-Watt University
  • 2016–2020
    Associate Professor, Heriot-Watt University
  • 2010–2016
    Lecturer, Reader, Dundee University
  • 2008–2010
    Research Fellow, University of St Andrews
  • 2007–2008
    Research Assistant, INRIA, France
  • 2004–2007
    PhD Student, University College Cork