2009 - 2012 
Univ

Stipendiary Junior Research Fellow (JRF) in Mathematical, Physical & Life Sciences, University College, Oxford. Member of the Constraints Research Group in the Computing Laboratory.

EPSRC PhD Plus Fellow, Computing Laboratory, 2009-2010.
Researcher at Microsoft Research Cambridge, summer 2010.
Stipendiary Lecturer in Computing at Balliol College, 2010-.

 2006 - 2009 
Oxford

D.Phil. (Ph.D. equivalent) in computer science, Computing Laboratory, University of Oxford. Member of Keble College and the Constraints Research Group. Gratefully acknowledge funding by Engineering and Physical Sciences Research Council.

EPSRC

Non-stipendiary Lecturer in Computing at Hertford College, 2008-2009.

 2005 - 2006 
UK RNDr. (Rerum Naturalium Doctor, M.Phil. equivalent), Department of Theoretical Computer Science and Mathematical Logic, Charles University in Prague.

UTU

During the spring term on leave to the Department of Mathematics, University of Turku.

 2004 - 2005 
VU M.Sc. cum laude in computer science, Faculty of Sciences, VU University in Amsterdam.

CWI and UVA

Affiliation with CWI and the University of Amsterdam.

 1999 - 2005 
MFF

Mgr. (B.c.+ M.Sc. equivalent) summa cum laude in theoretical computer science, Faculty of Mathematics and Physics, Charles University in Prague.

Software project Load Balancer.