Dr

Dmitrij

Szamozvancev

Dmitrij (Dima) Szamozvancev is a Research Fellow in AI-Assisted Formal Verification, working with Prof Andrei Popescu on computer-checked security verification of AI agent containers. Previously he was a Associate Professor at Downing College, University of Cambridge, and a Research Assistant on the Modular Macros project led by Dr Jeremy Yallop. He completed his PhD at the University of Cambridge under the supervision of Prof Marcelo Fiore, specialising in formal verification and category theory.