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