Doktoritööd
2023. aastal kaitstud doktoritööd
- Mohammad Anagreh „Privacy-preserving parallel computations for graph problems", Tartu 2023.
Juhendajad: prof Eero Vainikko ja külalisprof Peeter Laud (Cybernetica AS). - Mohamed Ragab Moawad Mohamed „Bench-Ranking: A Prescriptive Analysis Approach for Large Knowledge Graphs Query Workloads“, Tartu 2023 (video).
Juhendajad: kaasprof Riccardo Tommasini (Lyoni ülikool) ja prof Ahmed Awad.
- Lidia Feklistova „Learners of an introductory programming MOOC: background variables, engagement patterns and performance“, Tartu 2022 (video).
Juhendajad: kaasprof Marina Lepp ja kaasprof Piret Luik. - Gamal Mahmoud Abdelmoaty Ibrahim Elkoumy „Privacy-Enhancing Technologies for Business Process Mining“, Tartu 2022 (video).
Juhendaja: prof Marlon Dumas. - Jakob Mass „Process Management for Internet of Mobile Things“, Tartu 2022 (video).
Juhendajad: külalisprof Satish Narayana Srirama ja dr Chii Chang, Apromore (Austraalia). - Mubashar Iqbal "Reference framework for managing security risks using blockchain”, Tartu 2022 (video).
Juhendaja: prof. Raimundas Matulevičius. - Elizaveta Yankovskaya "Quality estimation through attention", Tartu 2022 (video)
Juhendaja: prof Mark Fišel. - Kristjan Krips "Privacy and coercion-resistance in voting", Tartu 2022.
Juhendajad: Jan Willemson. (Cybernetica AS) ja kaasprofessor Sven Laur. - Volodymyr Leno "Robotic Process Mining: accelerating the adoption of Robotic Process Automation", Tartu 2022 (video).
Juhendajad: prof Marlon Dumas, prof Fabrizio Maria Maggi, prof Marcello La Rosa ja prof Artem Polyvyanyy. - Manuel Camargo "Automated discovery of business process simulation models from event logs: a hybrid process mining and deep learning approach", Tartu 2022 (video).
Juhendajad: prof Marlon Dumas ja kaasprofessor Oscar González-Rojas.
- Veronika Plotnikova „FIN-DM: finantsteenuste andmekaeve protsessi mudel“, Tartu 2021.
Juhendajad: prof Marlon Dumas ja kaasprofessor Fredrik P. Milani. - Hina Anwar „Rohelisema tarkvaratehnoloogia poole tarkvaraanalüüsi abil", Tartu 2021 (video).
Juhendajad: prof Dietmar Pfahl ja külalisprofessor Satish Narayana Srirama. - Ivo Kubjas „Algebralised lähenemised detsentraliseeritud süsteemides tekkivatele probleemidele“, Tartu 2021 (video). Juhendaja: kaasprof Vitaly Skachek.
- Dmytro Fishman „Andmeanalüüsi töövoo loomine valkude automaatseks kirjeldamiseks immunoloogias", Tartu 2021 (video)
Juhendajad: kaasprof Hedi Peterson, prof Jaak Vilo ja prof Pärt Peterson
Liis Kolberg „Bioinformaatika tööriistade arendamine ja rakendamine geeniekspressiooni andmete interpreteerimiseks“, Tartu 2021 (video)
Juhendaja: kaasprof Hedi Peterson - Tauno Palts „Algoritmilise mõtlemise oskuste hindamise mudel", Tartu 2021 (video)
Juhendajad: prof Margus Pedaste ja prof Varmo Vene. - Kaido Lepik „Haiguspõhjuslike geenide tuvastamine statistiliste meetoditega“, Tartu 2021 (video)
Juhendajad: kaasprof Hedi Peterson ja prof Jaak Vilo. - Arnis Paršovs „Eesti elektrooniline ID-kaart ja selle turvaväljakutsed“, Tartu 2021 (video)
Juhendajad: dr Jan Villemson (Cybernetica AS) ja prof Dominique Unruh. - Ljubov Jaanuska „Haari lainikute meetod omavõnkumiste analüüsiks ja parameetrite määramiseks“, Tartu 2021 (video)
Juhendaja: külalisdots Helle Hein.
- Madis Vasser „Arvutusliku ajuteooria testimine virtuaalreaalsuse abil“, Tartu 2020 (video)
Juhendaja: vanemteadur Jaan Aru - Ardi Tampuu „Tehisnärvivõrgud bioloogiliste andmete analüüsimiseks", Tartu 2020 (video).
Juhendaja: prof Raul Vicente - Orlenys López Pintado "Koostööäriprotsesside läbiviimine plokiahelal: Caterpillari süsteem", Tartu 2020 (video).
Juhendajad: prof Marlon Dumas ja dr Luciano García Bañuelos (Tecnologico de Monterrey, Mehhiko). - Ilya Kuzovkin "Inimaju arvutuslike protsesside mõistmine masinõppe mudelite tõlgendamise kaudu“, Tartu 2020 (video).
Juhendaja: prof Raul Vicente - Janno Siim „Mitte-interaktiivsed segamise nullteadmustõestused“, Tartu 2020 (video).
Juhendaja: prof Helger Lipmaa. - Behzad Abdolmaleki „Mitteinteraktiivsed nullteadmusprotokollid nõrgemate usalduseeldustega“, Tartu 2020.
Juhendaja: prof Helger Lipmaa. - Karim Baghery - „Usalduse vähendamine ja turvalisuse parandamine zk-SNARKides ja kinnitusskeemides“, Tartu 2020 (video).
Juhendaja: prof Helger Lipmaa. - Adriano Augusto - "Täpne ja tõhus protsessimudelite automaatne koostamine sündmuslogidest“, Tartu 2020 (video).
Juhendajad: prof Marlon Dumas ja prof Marcello La Rosa (Melbourne’i Ülikool, Austraalia). - Faiz Ali Shah - „Rakenduste kasutajaarvustustest informatsiooni kaevandamine tarkvara arendustegevuste soodustamiseks", Tartu 2020 (video).
Juhendajad: prof Dietmar Pfahl ja teadur Kairit Sirts.
- Huishi Yin - „Kano-sarnase mudeli kasutamine avatud innovatsiooni saavutamiseks nõuete analüüsi protsessis", Tartu 2019.
Juhendaja prof Dietmar Pfahl. - Sulev Reisberg - „Arvutuslikud meetodid personaalmeditsiini arendamiseks”, Tartu 2019 (video).
Juhendaja: prof Jaak Vilo. - Tõnis Tasa - „Bioinformaatika meetodid personaalses farmakoteraapias”, Tartu 2019 (video).
Juhendajad: prof Jaak Vilo, dots Tuuli Metsvaht (TÜ kliinilise meditsiini instituut) ja juhtivteadur Lili Milani (TÜ genoomika instituut). - Elena Sügis - "Mitmekesiste bioloogiliste andmete ühendamine ja analüüs", Tartu 2019 (video).
Juhendajad: prof Jaak Vilo ja vanemteadur Hedi Peterson. - Vijayachitra Modhukur - "Haiguste ja koespetsiifiliste DNA metülatsioonil põhinevate biomarkerite uurimine“, Tartu 2019 (video).
Juhendajad: prof Jaak Vilo ja dr Balaji Rajashekar. - Toomas Krips - "Turvaliste reaalarvuoperatsioonide efektiivsemaks tegemine", Tartu 2019 (video).
Juhendajad: vanemteadur Jan Villemson (Cybernetica AS) prof Dominique Unruh. - Mohan Liyanage - „Raamistik mobiilsete asjade veebile”, Tartu 2019 (video).
Juhendajad: juhtivteadur Satish Srirama ja teadur Chii Chang. - Irene Teinemaa - "Äriprotsessi tulemuste ennustatav ja korralduslik seire", Tartu 2019 (video).
Juhendajad: prof Marlon Dumas ja dotsent Fabrizio Maggi. - Yauhen Yakimenka - "Sõnumivahetusalgoritmide ebaõnnestumise struktuurid kustutuste dekodeerimises ja hõredas signaalihõives", Tartu 2019 (video).
Juhendaja: dots Vitaly Skachek. - Ilya Verenich - "Äriprotsesside ajaliste näitajate selgitatav ennustav jälgimine“, Tartu 2019 (video).
Juhendajad: prof Marlon Dumas, dots Fabrizio Maggi, prof Marcello La Rosa (Melbourne'i Ülikool), prof Arthur ter Hofstede (Queenslandi Tehnoloogiaülikool). - Ehsan Ebrahimi - "Krüptograafiliste konstruktsioonide turvalisus superpositsioonipäringute vastu“, Tartu 2019 (video).
Juhendaja: prof Dominique Unruh.
- Riivo Kikas - "Avatud lähtekoodiga tarkvaraprojektide vearaportite ja tehniliste sõltuvuste haldamise analüüsimine", Tartu, 2018.
Juhendajad: prof Marlon Dumas and prof Dietmar Pfahl (video). - Abdullah Makkeh - "Optimeerimise rakendamine keerulistes süsteemides”, Tartu, 2018.
Juhendaja: dots Dirk Oliver Theis (video).
- Eno Tõnisson - "Oodatavate vastuste ja arvutialgebra süsteemide vastuste erinevused koolimatemaatika võrrandite puhul". Tartu, 2017. Juhendaja: Rein Prank (Video)
- Kristjan Korjus - "EEG andmete analüüs ja andmepartitsioonide arendamine masinõppe algoritmidele". Tartu, 2017. Juhendaja: Raul Vincente Zafra (Video)
- Toomas Saarsen - „Protsessimudelite struktuur koosmõjus mudeli kasutusega“. Tartu, 2017. Juhendaja: Marlon Dumas (Video)
- Alisa Pankova - „Tõhus peit- ja aktiivse ründaja vastu kaitstud turvaline ühisarvutus”. Tartu, 2017. Juhendajad: Peeter Laud, Sven Laur (Video)
- Jaak Randmets - "Programmeerimiskeeled turvalise ühisarvutuse rakenduste arendamiseks". Tartu, 2017. Juhendajad: Peeter Laud, Varmo Vene (Video)
- Mozhgan Pourmoradnasseri - „Mõned problemid seoses polütoopide laiendustega“. Tartu, 2017. Juhendaja: Dirk Oliver Theis (Video)
- Anna Leontjeva - "Generatiivsete mudelite kasutamine staatiliste ja jadatunnuste kombineerimiseks klassifitseerimise eesmärgil“. Tartu, 2017. Juhendajad: Jaak Vilo, Marlon Dumas (Video)
- Pelle Jakovits "Teadusarvutuse algoritmide taandamine hajusarvutuse raamistikele". Tartu, 2017. Juhendaja: Satish Srirama (Video)
- Prastudy Mungkas Fauzi „Efektiivsed mitteinteraktiivsed nullteadmusprotokollid referentssõne mudelis“. Tartu, 2017. Juhendaja: Helger Lipmaa (Video)
- Siim Orasmaa „Eesti keele üldvaldkonna tekstide laia kattuvusega automaatne sündmusanalüüs". Tartu, 2017. Juhendaja: Heiki-Jaan Kaalep (Video)
- Riivo Talviste "Turvalise ühisarvutuse rakendamine". Tartu, 2016 Juhendajad: Sven Laur, Dan Bogdanov (video)
- Tauno Metsalu "Mitmemõõtmeliste andmete statistiline analüüs bioinformaatikas". Tartu, 2016. Juhendaja: Jaak Vilo (video)
- Huber Raul Flores Macario "Teenustele orienteeritud ja tõendite-teadlik mobiilne pilvearvutus". Tartu, 2015. Juhendaja: Satish Srirama (video )
- Fredrik Payman Milani "Alamprotsessidest, protsesside variatsioonidest ja nendevahelisest koosmõjust: Integreeritud “jaga ja valitse” meetod äriprotsesside ja nende variatsioonide modelleerimiseks" . Tartu, 2015. Juhendajad: Marlon Dumas, Raimundas Matulevicius (video )
- Abel Armas Cervantes "Äriprotsesside käitumuslike erinevuste diagnoosimine" . Tartu, 2015. Juhendajad: Marlon Dumas, Luciano Garcia Banuelos (video )
- Liina Kamm "Turvalisel ühisarvutusel põhinev privaatsust säilitav statistiline analüüs". 2015. Juhendaja: Sven Laur (video)
- Naved Ahmed "Turvanõuete tuletamine äriprotsesside mudelitest". Juhendajad: Raimundas Matulevicius, Marlon Dumas
- Vladimir Šor "Statistiline lähenemine mälulekete tuvastamiseks Java rakendustes". Tartu, 2014. Juhendaja: Satish Srirama (video)
- Raivo Kolde "Meetodid avalike geeniekspressiooni andmete taaskasutamiseks". Tartu, 2014. Juhendaja: Jaak Vilo (video)
- Margus Freudenthal "Simpl: Valdkonnaspetsiifiliste keelte loomise tööriist ettevetetarkvara arendamiseks". Tartu, 2013. Juhendaja: Marlon Dumas
- Jevgeni Kabanov "Produktiivsema Java EE ökosüsteemi poole". Tartu, 2013. Juhendaja: Varmo Vene
- Dan Bogdanov "Sharemind: Programmeeritav turvaline arvutussüsteem praktiliste rakendustega". Tartu, 2013. Juhendaja: Sven Laur (video)
- Georg Singer "Veebi otsingumootorid ja vajadus keeruka informatsiooni järele". Tartu, 2012. Juhendajad: Eero Vainikko, Ulrich Norbisrath, Dirk Lewandowski (video)
- Uuno Puus "Struktuurne tulemuslikkus tarkvaraprojekti edutegurina – Eesti kogemus". Tartu, 2012. Juhendajad: Tõnis Mets, Jüri Kiho
- Reina Uba "Äriprotsesside ühildamine". Tartu, 2011. Juhendaja: Jaak Vilo, Marlon Dumas, Marcello La Rosa (video)
- Bingsheng Zhang "Efektiivsed krüptograafilised protokollid turvaliste ja privaatsete kaugandmebaaside jaoks". Tartu, 2011. Juhendajad: Helger Lipmaa, Peeter Laud (video)
- Meelis Kull "Statistiline rikastatuse analüüs geeniregulatsiooni uurimiseks loodud algoritmides". Tartu, 2011. Juhendaja: Jaak Vilo
- Dmitri Lepp "Astmete, üksliikmete ja hulkliikmete valdkonna lihtsustamisülesannete lahendamine interaktiivses õpikeskkonnas T-algebra". Tartu, 2011. Juhendaja: Rein Prank
- Margus Treumuth "Asünkroonsete dialoogsüsteemide raamistik: mõisted, probleemid ja kavandamise aspektid". Tartu, 2011. Juhendajad: Päivi Kristiina Jokinen, Mare Koit
- Siim Karus "XML teisenduste hallatavus". Tartu, 2011. Juhendajad: Helle Hein, Marlon Dumas
- Margus Niitsoo "Oraakliga musta kasti eraldustehnikad rakendustega ajatembeldusele". Tartu, 2011. Juhendaja: Ahto Buldas
- Mark Fišel "Statistilise masintõlke optimeerimine sisendi modifitseerimise teel". Tartu, 2011. Juhendajad: Mare Koit, Joakim Nivre
- Vesal Vojdani. "Dünaamilist mälu töötlevate C programmide staatiline andmejooksude analüüs". Tartu, 2010. Juhendajad: Varmo Vene, Helmut Seidl
- Ahti Peder. "Superpositsioonigraafid ja struktuuri kirjelduse leidmine loendamismeetodi abil". Tartu, 2010. Juhendaja: Mati Tombak
- Jüri Reimand. "Geenigruppide, võrgustike ja regulatoorsete süsteemide funktsionaalne analüüs". Tartu, 2010. Juhendaja: Jaak Vilo
- Reimo Palm. "Mittekorrektsete ülesannete reguleerimisalgoritmide numbriline võrdlus". Tartu, 2010. Juhendaja: Uno Hämarik
- Mart Anton. "IMPC täiturite mehaanika modelleerimine suurte painete korral". Tartu, 2008. Juhendajad: Jan Villemson, Alvo Aabloo, Maarja Kruusmaa
- Kaarel Kaljurand. "Piiratud inglise keel ACE kui semantilise veebi keel". Tartu, 2008. Juhendajad: Kaili Müürisep, Norbert E. Fuchs
- Härmel Nestra. "Iteratiivselt defineeritud transfiniitsed jälitussemantikad ja programmislitseerimine nende suhtes". Tartu, 2006. Juhendaja: Varmo Vene
- Kristo Heero. "Teekonna planeerimine ning õppimisstrateegiad mobiilsetele robotitele dünaamilistes osaliselt tundmatutes keskkondades". Tartu, 2006. Juhendajad: Jan Villemson, Maarja Kruusmaa
- Jan Villemson. Suuruse mõttes efektiivsed intervallajatemplid. Tartu, 2002. Juhendajad: Mati Tombak, Ahto Buldas
- Tiina Puolakainen. Eesti keele arvutigrammatika: morfoloogiline ühestamine. Tartu, 2001. Juhendaja: Mare Koit
- Olga Sokratova. Ω-ringid, nende lamedad ja projektiivsed polügoonid mõningate rakendustega. Tartu, 2000. Juhendaja: Uno Kaljulaid
- Varmo Vene. Kategoorne programmeerimine induktiivsete ja koinduktiivsete tüüpidega. Tartu, 2000. Juhendaja: Merik Meriste
- Kaili Müürisep. Eesti keele arvutigrammatika: süntaks. Tartu, 2000. Juhendaja: Mare Koit
- Helger Lipmaa. Turvalised ja efektiivsed ajatemplisüsteemid. Tartu, 1999. Juhendaja: Mati Tombak
#instituudist
#teadus
#tunnustamine
#ettevõtlus
#instituudist
#koostöö
#teadus
#ühiskonnale
Teaduskonverentsil saab tutvuda Tartu Ülikooli IT-teadlaste tööga
Tartu Ülikooli arvutiteaduse instituut korraldab 18.-19. mail Delta õppe- ja teadushoones teaduskonverentsi “IT Academy Research Summit”, millega tähistatakse projekti “IT Akadeemia teaduse toetusmeet