Résumé

Education

since 2015
PhD, Computer Science, jointly at University of Dundee and University of St Andrews
2011-2014
Master degree, Computer Science, Charles University in Prague, summa cum laude
2012-2013
Erasmus exchange, Utrecht University, 6 months
2008-2011
Bachelor degree, Computer Science, Charles University in Prague

Teaching experience

2015-2016
AC21007 - Algorithms and Artificial Intelligence, Co-lecturer, Tutor
2015-2016
AC32007 & AC52009 - Secure Internet Programming, Tutor
2014-2015
AC21007 - Algorithms and Artificial Intelligence, Tutor

Organisational duties

2016
Workshop on Coalgebra, Horn Clause Logic Programming and Types, co-organiser
2016
Workshop on Type Inference and Automated Proving, co-organiser