Tomas Petricek — Teaching Report

Student Supervision

Doctoral Students

• Jan Liam Verter (PhD Student), Charles University, 2024 – present

  Research topic Semantics Engineering with Concrete Syntax and Theorem Proving.

• Joel Jakubovic (PhD Student), University of Kent, 2019 – 2023

  Thesis Achieving Self-Sustainability in Interactive Graphical Programming Systems. Graduated in 2023.

Internships

• Nour Boulahcen (Undergraduate Internship), University of Kent, May 2019 – June 2019

  Design and development of type provider for graph databases.

• Mariana Marasoiu, Pablo León-Villagrá, Sarwar Islam (Research Internship), The Alan Turing Institute, 2017

  Tools for data journalism with The Bureau of Investigative Journalism, resulting in two workshop papers.

Supervised Theses

Since joining Charles University in 2022, I supervised 1 Bachelor's theses (0 defended) and 0 Master's theses (0 defended). At University of Kent, I supervised students for a range of final year projects including 4 students in Year in Computing Project (BSc), 25+ students for Group Project (BSc) and 10 students for Project and Dissertation (MSc). I also supervised 3 final-year Part II dissertations at University of Cambridge.

• Benchmarking a baseline fully-in-place functional language compiler (ongoing), BSc thesis, Jaromír Procházka

Recent Teaching

Year 2024/25

• Programming Language Design (NPRG075), Winter 2024/25, Charles University

Year 2023/24

• Write Your Own Tiny Programming Systems (NPRG077), Winter 2023/24, Charles University

• Advanced C# Programming (NPRG038), Summer 2023/24, Charles University, Course lab supervisor

Year 2022/23

• Programming Language Design (NPRG075), Winter 2022/23, Charles University

• Introduction to Linux (NSWI177), Summer 2022/23, Charles University, Course lab supervisor

Year 2021/22

• Software Development (CO559), BSc, Spring 2021/22, University of Kent

• Software Engineering (CO886), MSc, Spring 2021/22, University of Kent

• Group Project (CO600), BSc, 2021/22, University of Kent, Final year project supervision

• Project and Dissertation (CO880), MSc, Spring 2021/22, University of Kent, Thesis supervision

• Project Research (CO880), MSc, Autumn 2021/22, University of Kent, Project supervision

Year 2020/21

• Software Engineering (CO886), MSc, Spring 2020/21, University of Kent

Year 2019/20

• Software Engineering (CO886), MSc, Spring 2019/20, University of Kent

• Algorithms, Correctness and Efficiency (CO518), BSc, Autumn 2019/20, University of Kent

• Computer Interaction and User Experience (CO582), BSc, Autumn 2019/20, University of Kent

• Group Project (CO600), BSc, 2019/20, University of Kent, Final year project supervision

• Year in Computing Project (CO580), BSc, Spring 2019/20, University of Kent, Project supervision

• Project and Dissertation (CO880), MSc, Spring 2019/20, University of Kent, Thesis supervision

• Project Research (CO880), MSc, Autumn 2019/20, University of Kent, Project supervision

Committee Membership

• Committee for Final State Exams in Master Study Programs, Charles University, 2024 – present

  Nominated in September 2024. Awaiting to be approved in 2024/25.

• Committee for Final State Exams in Bachelor Study Programs, Charles University, 2024 – present

  Nominated in September 2024. Awaiting to be approved in 2024/25.

• Academic Misconduct Panel Member, University of Kent, 2021 – 2022

  Reviewed 30+ reports of plagiarism and other academic misconduct.

• Year in Computing Review Committee Chair, University of Kent, 2021

  Leading a review of programme teaching structure and implemented changes for 2022/23.

• Year in Computing Admissions Officer, University of Kent, 2020 – 2022

  Interviewed 100+ applicants for a programme offered to non-computer science students.