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.