Education
PhD Informatics at AIAI, School of Informatics, University of Edinburgh
Sep 2020 - Present
The topic revolves around process composition, linear logic and mechanisation in Isabelle/HOL. I am supervised by Prof. Jacques Fleuriot and a member of the AI Modelling Lab.
BSc Computer Science with Honours (First Class) at the School of Informatics, University of Edinburgh
Sep 2016 - Aug 2020
Notable courses: Categories and Quantum Informatics, Automated Reasoning, Performance Modelling
Honours project: Mechanising Hyperdual Numbers in Isabelle/HOL
Employment
Research Intern at the School of Informatics, University of Edinburgh
Jun 2019 - Aug 2020
I worked on projects with Prof. Jacques Fleuriot, mainly on the DigiFlow project and on mechanisations in Isabelle/HOL. This work includes implementation, exploring potential research directions, formalisation and proof mechanisation, and technical writing.
Technologies used: Java, Scala, Isabelle/HOL
Theoretical topics: π-Calculus, Classical Linear Logic, Event Stream Processing
Housekeeper at Glenalmond House, Edinburgh
Jun - Sep 2018
Junior Developer at Orchitech solutions s.r.o, Prague
Jun - Aug 2017
I was tasked with organisational work on the Wren Security open-source repositories and with enhancements to their version of OpenIdM.
Technologies used: Java, Maven, Git, Apache Felix, OSGi
Lecturer at Labyrint, Kladno
Oct 2014 - Jun 2016
I taught a full-year programming course for children (around 12 years old) where we focused on Java, and two short term (2-3 months) courses for adults focusing on MS Office suite and its use in the workplace.
Tasks: preparing exercises, helping with problems outside of classes (school IT assignments or work assignments), minor administrative tasks
Web Developer at Fix Software
Apr - Sep 2015
I was responsible for building the administration backend of a website for an accounting association. That included article, eshop, and account management with multiple levels of user permissions. I also designed the database structure to hold the data needed and integrated the backend into the public frontend.
Technologies used: Php, MySQL, HTML, Joomla, JavaScript
Skills
Programming languages: C, C++, Java, Scala, Haskell, Common Lisp, Python
Theorem proving: Isabelle/HOL
Web development: JavaScript, TypeScript, CSS, HTML, SQL
Other tools: LLVM, CMake, Git, vim, linux