Vojtech Forejt

Visiting Fellow

LLB (Open); PhD, MSc and Bc in Computer Science (Masaryk University, Czechia)

Vojtěch is a managing director in DiffBlue, an Oxford University spinout. Previously, he was an Associate Professor in Software Engineering at the Department of Computer Science, and an Official Fellow at Kellogg College. He obtained his PhD from Masaryk University in Brno, Czech Republic. His academic interests include formal verification and game theory, and more broadly formal ways of specifying behaviour of systems.