2009 - 2012 |
|
|
Stipendiary Junior Research Fellow (JRF) in Mathematical and Physical Sciences, University
College, University of Oxford.
Member of
the Constraints
Research Group in the Department of
Computer Science, 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. |
2006 - 2009 |
|
|
D.Phil. (Ph.D. equivalent) in computer science,
Department of Computer Science, University of Oxford.
Member of
Keble College and
the Constraints
Research Group. Gratefully acknowledge funding by the Engineering and Physical Sciences Research Council.
Non-stipendiary Lecturer in Computing at
Hertford College, 2008-2009.
|
2005 - 2006 |
|
 |
RNDr. (Rerum Naturalium Doctor, M.Phil. equivalent), Department of Theoretical Computer Science and Mathematical Logic, Charles University in Prague. |
 |
During the spring term on leave to the Department of Mathematics, University of Turku. |
2004 - 2005 |
|
 |
M.Sc. cum laude in computer science, Faculty of Sciences, VU University in Amsterdam. |
 |
Affiliation with CWI and the University of Amsterdam. |
1999 - 2005 |
|
 |
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. |