2012 - 2013 
University of Warwick
SRF (Senior Research Fellow) in Advances in Discrete Mathematics and its Applications, Department of Computer Science, University of Warwick.

Member of the Foundations of Computer Science Research Group and DIMAP.

   DIMAP   
 2009 - 2012 
Univ
JRF (Stipendiary Junior Research Fellow) in Mathematical and Physical Sciences, University College, University of Oxford.

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

   EPSRC   
 2006 - 2009 
Oxford
D.Phil. (Ph.D. equivalent) in Computer Science, Department of Computer Science and Keble College, University of Oxford.

ACP (Association for Constraint Programming) doctoral research award. Funded by the Engineering and Physical Sciences Research Council.
Non-stipendiary Lecturer in Computing at Hertford College, 2008-2009.

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

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

   University of Turku   
 2004 - 2005 
    VU M.Sc. cum laude in Computer Science, Faculty of Sciences, VU University in Amsterdam.

 1999 - 2005 
MFF

 Mgr. (Magister, B.Sc.+M.Sc. equivalent) summa cum laude in Theoretical Computer Science, Faculty of Mathematics and Physics, Charles University in Prague.

Software project Load Balancer.