Teaching

Courses at TUT

• Paweł Sobociński, Edward Morehouse, Chad Nester, Mario Román, instructors, Functional programming, spring 2020, spring 2021, spring 2022
• Fosco Loregian, instructor, Category theory and its applications, spring 2020, spring 2021, spring 2022
• Niccolò Veltri, Niels Voorneveld, instructors, Advanced algorithms and datastructures, spring 2020, spring 2021, spring 2022
• Maksym Bortin, instructor, Software synthesis and verification (one module out of three), spring 2020
• Niccolò Veltri, instructor, Type theory, autumn 2021-spring 2022

Supervision of PhD theses

• Rocco de Nicola, Filippo Bonchi (IMT Lucca), Paweł Sobociński, supervisors, PhD thesis of Jens Seeber, Logical completeness for string diagrams, doi:10.6092/imtlucca/e-theses/317, IMT Lucca, defended 2020
• Paweł Sobociński and Jules Hedges (U. of Strathclyde), PhD thesis of Elena Di Lavore, TUT PhD programme in ICT, expected graduation autumn 2023
• Paweł Sobociński and Filippo Bonchi (IMT Lucca), supervisors, PhD thesis of Chad Nester, TUT PhD programme in ICT, expected graduation autumn 2023
• Paweł Sobociński and Jean Krivine (IRIF), supervisors, PhD thesis of Nathan Haydon, TUT PhD programme in ICT, expected graduation autumn 2023
• Paweł Sobociński, supervisor, PhD thesis of Mario Román, TUT PhD programme in ICT, expected graduation autumn 2023
• Paweł Sobociński, supervisor, PhD thesis of Matthew Earnshaw, TUT PhD programme in ICT, expected graduation autumn 2024
• Paweł Sobociński and Amar Hadzihasanovic, supervisors, PhD thesis of Diana-Maria Kessler, TUT PhD programme in ICT, expected graduation autumn 2024
• Tarmo Uustalu, Niccolò Veltri, supervisors, PhD thesis of Cheng-Syuan Wan, TUT PhD programme in ICT, expected graduation winter 2025
• Niccolò Veltri, Tarmo Uustalu, supervisors, PhD thesis of Philipp Joram, TUT PhD programme in ICT, expected graduation autumn 2025

Supervision of MSc theses

• Denis Firsov, Sven Laur (UT), supervisors, MSc thesis of Ekaterina Zhuchko, TUT/UT joint master's programme in cybersecurity, expected graduation summer 2022

Supervision of interns

• Denis Firsov, Vladimir Rogojin (Guardtime), supervisors, internship at Guardtime of Karolina Tammemaa from UT, summer 2020
• Denis Firsov, supervisor, internship at Guardtime of Ekaterina Zhuchko from TUT/UT joint master's programme in cybersecurity, summer 2021
• Fosco Loregian, supervisor, internship of Tanguy Massacrier from ENS Lyon diploma programme, Nov. 2021-March 2022

Teaching-related service

• Paweł Sobociński, director of TUT's PhD programme in ICT (covering the whole School of IT), from Sept. 2020