Doktoritöö kaitsmiskomisjoni moodustamine ja oponentide määramine

DEKAANI KORRALDUS Tallinn 14.08.2024 nr 1-24/206 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 Mohammadreza Heidari Iman´i doktoritöö „Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks“ („Enhancing Assertion-Based Verification in Hardware Designs through Data Mining Algorithms“), juhendaja vanemteadur Tara Ghasempouri, kaasjuhendajad täisprofessor tenuuris Gert Jervan. 2. Moodustan kaitsmiskomisjoni järgmises koosseisus: 2.1 Jüri Vain, tarkvarateaduse instituudi kaasprofessor, komisjoni esimees; 2.2 Peeter Ellervee, arvutisüsteemide instituudi abiprofessor; 2.3 Kristina Vassiljeva, arvutisüsteemide instituudi dotsent; 2.4 Artur Jutman, arvutisüsteemide instituudi teadur; 2.5 Aleksei Tepljakov, arvutisüsteemide instituudi vanemteadur. 3. Määran doktoritöö oponentideks, kes kuuluvad kaitsmiskomisjoni koosseisu: 3.1 Görschwin Fey, professor, Hamburg University of Technology, Saksamaa; 3.2 Mottaqiallah Taouil, dotsent, Delft University of Technology, Holland. 4. Kaitsmine toimub 22. augustil 2024 kell 15.00 ruumis ICT-507AB ja rakenduse MS Teams vahendusel. (allkirjastatud digitaalselt) Gert Jervan Infotehnoloogia teaduskonna dekaan