Mgr, MSc, RNDr, DPhil
Ana Leaf Foundation Fellow and Tutor in Computer Science, Associate Professor of Computer Science

Academic Background

Before coming to England, I read computer science in the Czech republic, Netherlands, and Finland. I came to Oxford in 2006 and spent here three years as a doctoral student working on my thesis that won the ACP doctoral research award and was then published by Springer as a monograph, and three years as a stipendiary Junior Research Fellow in Mathematical and Physical Sciences at Oxford's University College. After a year at Warwick, where I was a Senior Research Fellow, I came back to Oxford in 2013. My research has been supported by a Royal Society University Research Fellowship (since 2013) and an ERC Starting Grant (since 2017).

Undergraduate Teaching

Computer science.

Postgraduate Teaching

Probability and computing.

Research Interests

My research centres around the application of mathematics to the design and analysis of algorithms. In particular, I develop efficient algorithms for constraint satisfaction problems and prove under which conditions efficient algorithms can exist. I also work on submodular functions and pseudo-Boolean optimisation.

My most recent interests include the power of convex relaxations (such as linear and semidefinite programming) and the complexity of computational counting.


Subject notes for courses taught at Jesus College:

See also Professor Zivny's personal website and the Department of Computer Science website.