Dekaani korraldusAvalik
Doktoritöö kaitsmiskomisjoni moodustamine ja oponentide määramine
Tallinna Tehnikaülikool · 9. juuni 2025
- Viit
- 1-24/186
- Registreeritud
- 9. juuni 2025
- Dokumendi liik
- Dekaani korraldus
- Funktsioon
- 1 JUHTIMINE
- Sari
- 1-24 Dekaani korraldused
- Toimik
- 1-24/2025 Dekaani korraldused
- Vastutaja
- Liisi Ilu (Rektoraat, Infotehnoloogia teaduskond, Infotehnoloogia teaduskonna dekanaat)
Sisu (failidest)
DEKAANI KORRALDUS
Tallinn 09.06.2025 nr 1-24/186
Doktoritöö kaitsmiskomisjoni moodustamine ja
oponentide määramine
Tuginedes Tallinna Tehnikaülikooli senati 20.04.2022 määrusele nr 3 „Tallinna Tehnikaülikooli
doktorantuuri eeskiri“ § 24 lõikele 2 ja 3:
1. Luban kaitsmisele info- ja kommunikatsioonitehnoloogia õppekava doktorandi Cheng-Syuan Wan
doktoritöö ”Pool-allstruktuursete loogikate tõestusteooria” (“Proof Theory of Semi-Substructural
Logics”), juhendajad juhtivteadur Tarmo Uustalu ja nooremprofessor Niccolo Veltri.
2. Moodustan kaitsmiskomisjoni järgmises koosseisus:
2.1 Amirouche Moktefi, Ragnar Nurkse innovatsiooni ja valitsemise instituudi vanemlektor (komisjoni
esimees);
2.2 Nathanael Amariah Arkor, tarkvarateaduse instituudi järeldoktor-teadur;
2.3 Amar Hadzihasanovic, tarkvarateaduse instituudi nooremprofessor;
2.4 Hendrik Maarand, tarkvarateaduse instituudi teadur;
2.5 Niels F. W. Voorneveld, Cybernetica ASi teadur.
3. Määran doktoritöö oponentideks, kes kuuluvad kaitsmiskomisjoni koosseisu:
3.1 Prof. Pierre-Louis Curien, National Centre for Scientific Research (CNRS) ja Université Paris Cité,
Prantsusmaa;
3.2 Prof. Peter Dybjer, Chalmers University of Technology, Rootsi.
4. Kaitsmine toimub 25. juuni 2025. a kell 14:00 ruumis CYB-101 (Akadeemia tee 21b) ja rakenduse
Zoom vahendusel.
(allkirjastatud digitaalselt)
Gert Jervan
Infotehnoloogia teaduskonna dekaan