Doktoritööd
2020
- 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.
2019
- 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.
2018
- 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).
2017
- 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)
2016
- 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)
2015
- 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)
2014
- 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)
2013
- 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)
2012
- 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
2011
- 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
2010
- 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
2008
- 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
2007
- Marina Lepp. "Lineaarvõrrandite, lineaarvõrratuste ja lineaarsete võrrandisüsteemide lahendamine interaktiivses õpikeskkonnas". Tartu, 2007. Juhendaja: Rein Prank
2006
- 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
2002
- Jan Villemson. Suuruse mõttes efektiivsed intervallajatemplid. Tartu, 2002. Juhendajad: Mati Tombak, Ahto Buldas
2001
- Tiina Puolakainen. Eesti keele arvutigrammatika: morfoloogiline ühestamine. Tartu, 2001. Juhendaja: Mare Koit
2000
- 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
1999
- Helger Lipmaa. Turvalised ja efektiivsed ajatemplisüsteemid. Tartu, 1999. Juhendaja: Mati Tombak