Sergey’s research focuses primarily on the formal verification of probabilistic systems, which he hopes to extend and apply to the control of AI models. His goal is to be able to mathematically prove the security of cryptographic algorithms, embedded systems, large language models, and other random processes.
Before starting his DPhil, Sergey completed a BSc in Mathematics at the University of Helsinki and an MSc in Mathematics and Foundations of Computer Science at the University of Oxford. He has also worked as a cyber security consultant and enjoys technical security testing and vulnerability research.