Arvutiteaduse instituudis kaitstud doktoritööd
Kaitstud töid saab lugeda TÜ raamatukogu elektroonilisest andmebaasist Infoallikad - dissertatsioonid
2011
Reina Uba "Merging Business Process Models".
Juhendajad: prof Marlon Dumas (Tartu Ülikool), dr Marcello La Rosa (Queensland University of Technology)
Oponendid: prof dr Mathias Weske (University of Potsdam); prof Marite Kirikova (Riga Technical University)
Bingsheng Zhang ,,Efficient Cryptographic Protocols for Secure and Private Remote Databases".
Juhendajad: vanemteadur Helger Lipmaa (Tartu Ülikool), Prof. Peeter Laud (Tartu Ülikool)
Oponendid: vanemteadur Jens Groth (University College London, UK), Prof. Jesper Buus Nielsen (University of Aarhus, Denmark)
Meelis Kull ,,Statistical enrichment analysis in algorithms for studying gene regulation".
Juhendajad: prof Jaak Vilo (Tartu Ülikool)
Oponendid: Dr. Joaquin Dopazo (Principe Felipe Research Centre); Dr. Juho Rousu (University of Helsinki)
Dmitri Lepp ,,Solving simplification problems in the domain of exponents, monomials and polynomials in interactive learning environment T algebra".
Juhendajad: dotsent Rein Prank (Tartu Ülikool)
Oponendid: prof Nicolas Balacheff (Laboratoire d'Informatique de Grenoble); dotsent Jaak Henno (Tallinna Tehnikaülikool)
Siim Karus ,,Maintainability of XML Transformations".
Juhendajad: prof Marlon Dumas (Tartu Ülikool); dots Helle Hein (Tartu Ülikool)
Oponendid: prof Mehdi Jazayeri (University of Lugano); Assistant Prof Martin Pinzger (Delft University of Technology)
Margus Treumuth ,,A Framework for Asynchronous Dialogue Systems: Concepts, Issues and Design Aspects".
Juhendajad: prof. Mare Koit (Tartu Ülikool); prof. Kristiina Jokinen (Helsingi Ülikool, Soome; Tartu Ülikooli külalisprofessor)
Oponendid: prof. Ramón López-Cózar Delgado (Granada ülikool, Hispaania); dr. Hele-Mai Haav (Tallinna Tehnikaülikool)
Margus Niitsoo ,,Black-box Oracle Separation Techniques with Applications in Time-stamping” (,,Oraakliga musta kasti eraldustehnikad rakendustega ajatembeldusele").
Juhendaja: prof. Ahto Buldas (Tartu Ülikool)
Oponendid: dr. Berry Schoenmakers (Eindhoven University of Technology); prof. Helger Lipmaa (Tallinna Ülikool)
Mark Fišel ,,Optimizing Statistical Machine Translation via Input Modification" (,,Statistilise masintõlke optimeerimine sisendi modifitseerimise teel").
Juhendajad: prof. Mare Koit (Tartu Ülikool); prof. Joakim Nivre (Uppsala Ülikool, Rootsi)
Oponendid: vanemteadur Tanel Alumäe, PhD (Tallinna Tehnikaülikool); prof. Jörg Tiedemann (Uppsala Ülikool, Rootsi)
2010
Vesal Vojdani "Static Data Race Analysis of Heap-Manipulating C Programs" (Dünaamilist mälu töötlevate C programmide staatiline andmejooksude analüüs).
Juhendajad: prof. Varmo Vene (Tartu Ülikool); prof. Helmut Seidl (Technische Universität München)
Oponendid: prof. Alan Mycroft (University of Cambridge); dr. Keiko Nakata (TTÜ Küberneetika Instituut)
Ahti Peder "Superpositional Graphs and Finding the Description of Structure by Counting Method" ("Superpositsioonigraafid ja struktuuri kirjelduse leidmine loendamismeetodil").
Juhendaja: Prof. Emer. Mati Tombak (Tartu Ülikool)
Oponendid: Prof. Radomir Stankoviĉ (University of Niš) ja prof. Emer. Leo Võhandu (Tallinna Tehnikaülikool)
Jüri Reimand "Functional analysis of gene lists, networks and regulatory systems" ("Geenigruppide, võrgustike ja regulatoorsete süsteemide funktsionaalne analüüs") kraadi doctor philosophiae (informaatika) saamiseks.
Juhendaja: Prof. Jaak Vilo (Tartu Ülikool)
Oponendid: Prof. Samuel Kaski (Aalto Ülikool, Soome) ja prof. Toomas Neuman (Tallinna Tehnikaülikool)
Reimo Palm „Numerical comparison of regularization algorithms for solving ill-posed problems" ("Mittekorrektsete ülesannete regulariseerimisalgoritmide numbriline võrdlus"). Juhendaja: dotsent Uno Hämarik (Tartu Ülikool). Oponendid: prof. dr. Martin Hanke-Bourgeois (Johannes Gutenberg Universität Mainz), prof. Jaan Janno (Tallinna Tehnikaülikool).
2008
Sven Laur "Cryptographic Protocol Design" kraadi doctor philosophiae (informaatika) saamiseks.
Juhendajad Kaisa Nyberg, Helger Lipmaa
Mart Anton "„Mechanical modeling of IPMC actuators at large deformations" ("IPMC täiturite mehaanika modelleerimine suurte painete korral") kaitsmine. Taotletav kraad: doctor philosophiae (PhD) informaatikas.
Juhendajad: prof Maarja Kruusmaa, TTÜ ning prof Alvo Aabloo ja Jan Villemson, dr. Oponendid: prof Darwin Caldwell, Itaalia Tehnoloogiainstituut ja prof Andrus Salupere, TTÜ.
Kaarel Kaljurand "Attempto Controlled English as a Semantic Web Language" ("Piiratud inglise keel ACE kui semantilise veebi keel") kraadi doctor philosophiae (informaatika) saamiseks.
Juhendaja: Dr. Norbert E. Fuchs (Zürichi Ülikool), kaasjuhendaja: Dr. Kaili Müürisep (Tartu Ülikool). Oponendid: Dr. Uta Schwertel (Müncheni Ludwig-Maximiliani Ülikool) ja prof Tanel Tammet (Tallinna Tehnikaülikool).
2007
Marina Issakova Solving of linear equations, linear inequalities and systems of linear equations in interactive learning environment" ("Lineaarvõrrandite, lineaarvõrratuste ja lineaarsete võrrandisüsteemide lahendamine interaktiivses õpikeskonnas") kraadi doctor philosophiae (informaatika) saamiseks.
Juhendaja dots Rein Prank. Oponendid prof Jean Francois Nicaud (Joseph Fourier' Ülikool, Prantsusmaa) ja dots Jaak Henno (Tallinna Tehnikaülikool).
2006
Härmel Nestra "Iteratively defined transfinite trace semantics and program slicing with respect to them" (Iteratiivselt defineeritud transfiniitsed jälitussemantikad ja programmislitseerimine nende suhtes) kraadi doctor philosophiae (informaatika) saamiseks.
Juhendaja dots Varmo Vene. Oponendid prof Helmut Seidl (Müncheni Tehnikaülikool)ja vanemteadur Tarmo Uustalu (Tallinna Tehnikaülikool).
Kristo Heero "Path planning and learning strategies for mobile robots in dynamic partially unknown environments" (Mobiilsete robotite tee planeerimine ja õpistrateegiad dünaamilistes ja osaliselt tundmatutes keskkondades) kraadi doctor philosophiae (informaatika) saamiseks.
Juhendajad vanemteadur Maarja Kruusmaa ja dots Jan Villemson. Oponent prof Paolo Fiorini (Verona Ülikool, Itaalia).
2002
Jan Villemson "Size-efficient interval time stamps".
Juhendaja dotsent Ahto Buldas
Peeter Laud "Computationally Secure Information Flow". Juhendaja Reinhard Wilhelm. Kaitstud Saksamaal Saarbrückenis.
2001
Tiina Puolakainen „Eesti keele arvutigrammatika: morfoloogiline ühestamine“.
Juhendaja dotsent Mare Koit
Olga Sokratova "?-rings, their flat and projective acts, with some applications"
Juhendaja dotsent Uno Kaljulaid
2000
Varmo Vene "Categorical Programming with Inductive and Coinductive Types".
Juhendaja Merik Meriste.
Kaili Müürisep "Eesti keele arvutigrammatika: süntaks".
Juhendaja dotsent Mare Koit
1999
Helger Lipmaa "Secure and Efficient Time-Stamping Systems" – juhendaja Mati Tombak
