Résumé

Education

since 2015
PhD student, Computer Science, jointly at Heriot-Watt University and the 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, University of Dundee
2015-2016
AC32007 & AC52009 - Secure Internet Programming, Tutor, University of Dundee
2014-2015
AC21007 - Algorithms and Artificial Intelligence, Tutor, University of Dundee

Organisational duties

2016
Workshop on Coalgebra, Horn Clause Logic Programming and Types, co-organiser
2016
Workshop on Type Inference and Automated Proving, co-organiser
2015
Scottish Programming Languages Seminar, June 2015, co-organiser