Doktoritöö kaitsmiskomisjoni moodustamine ja oponentide määramine

DEKAANI KORRALDUS Tallinn 05.06.2026 nr 1-24/143 Doktoritöö kaitsmiskomisjoni moodustamine ja oponentide määramine Tuginedes Tallinna Tehnikaülikooli senati 25.02.2026 määruse nr 2 „Tallinna Tehnikaülikooli doktorantuuri eeskiri“ § 26 ja § 31 lg 8 punktile 3: 1. Luban kaitsmisele info- ja kommunikatsioonitehnoloogia õppekava doktorandi Philipp Joram doktoritöö "Sümmeetriatega andmetüübid homotoopilises tüübiteoorias" (“Datatypes with Symmetries in Homotopy Type Theory“), juhendajad nooremprofessor Niccolo Veltri. 2. Moodustan kaitsmiskomisjoni järgmises koosseisus: 2.1 Amar Hadzihasanovic, tarkvarateaduse instituudi nooremprofessor, komisjoni esimees; 2.2 Danel Ahman, Tartu Ülikooli arvutiteaduse instituudi programmeerimiskeelte kaasprofessor; 2.3 Nathanael Amariah Arkor, tarkvarateaduse instituudi teadur; 2.4 Vincent Baptiste Jacques Moreau, tarkvarateaduse instituudi järeldoktor-teadur; 2.5 Mario Román García, tarkvarateaduse instituudi teadur. 3. Määran doktoritöö oponentideks, kes kuuluvad kaitsmiskomisjoni koosseisu: 3.1 Prof. Nicolai Kraus, University of Nottingham, Suurbritannia; 3.2 Dr. Vikraman Choudhury, University of Strathclyde, Suurbritannia. 4. Kaitsmine toimub 19. juunil 2026. a kell 14:00 ruumis ICT-218 (Akadeemia tee 15a) ja rakenduse Zoom vahendusel. (allkirjastatud digitaalselt) Gert Jervan Infotehnoloogia teaduskonna dekaan