2009 - 2012 |
|
|
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 |
|
|
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.
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. |