Ekaterina Komendantskaya

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.

Robohub is supported by:

Would you like to learn how to tell impactful stories about your robot or AI system?

training the next generation of science communicators in robotics & AI

©2024 - Association for the Understanding of Artificial Intelligence


©2021 - ROBOTS Association