Stanislav Zivny grew up in Sobeslav, a small town in the south of Bohemia, Czech republic. Before coming to England, he read computer science in the Czech republic, Netherlands, and Finland. Zivny came to Oxford in 2006 and spent there the following 6 years: 3 years as a doctoral student working on his thesis; 'The complexity and expressive power of valued constraints'; that won the 2011 ACP doctoral research award and was then published by Springer as a monograph and 3 years as a stipendiary Junior Research Fellow in Mathematical and Physical Sciences at Oxford's University College. After a year as a Senior Research Fellow in Discrete Mathematics and its Applications at the University of Warwick, he came back to Oxford in 2013. He is now an Associate Professor of Computer Science and a Royal Society University Research Fellow.
Subject groups
-
Computer Sciences
Databases, Artificial intelligence, machine learning, vision, Programming languages and verification
