Defended PhD theses
2021
- Arnis Paršovs “Estonian Electronic Identity Card and its Security Challenges”, Tartu 2021 (video)
- Ljubov Jaanuska „Haar Wavelet Method for Vibration Analysis of Beams and Parameter Quantification“, Tartu 2021 (video)
2020
- Madis Vasser „Testing a Computational Theory of Brain Functioning with Virtual Reality”, Tartu 2020
Supervisor: Senior Research Fellow Jaan Aru (video) - Ardi Tampuu „Neural Networks for Analyzing Biological Data“, Tartu 2020 (video).
Supervisor: Prof. Raul Vicente - Orlenys López Pintado "Collaborative Business Process Execution on the Blockchain: The Caterpillar System", Tartu 2020 (video).
Supervisor: Prof. Marlon Dumas and dr Luciano García Bañuelos, Tecnologico de Monterrey, Mexico - Ilya Kuzovkin „Understanding Information Processing in Human Brain by Interpreting Machine Learning Models“, Tartu 2020 (video).
Supervisor: Prof. Raul Vicente - Janno Siim „Non-Interactive Shuffle Arguments“, Tartu 2020 (video).
Supervisor: Prof. Helger Lipmaa. - Behzad Abdolmaleki „On Succinct Non-Interactive Zero-Knowledge Protocols Under Weaker Trust Assumptions“, Tartu 2020.
Supervisor: Prof. Helger Lipmaa. - Karim Baghery „Reducing Trust and Improving Security in zk-SNARKs and Commitments”, Tartu 2020 (video)
Supervisor: Prof. Helger Lipmaa. - Adriano Augusto - „Accurate and Efficient Discovery of Process Models from Event Logs“, Tartu 2020 (video).
Supervisors: Prof. Marlon Dumas and Prof. Marcello La Rosa (University of Melbourne, Australia). - Faiz Ali Shah - „Extracting Information from App Reviews to Facilitate Software Development Activities“, Tartu 2020 (video).
Supervisors: Prof. Dietmar Pfahl and Res. fellow Kairit Sirts.
2019
- Huishi Yin - "Using a Kano-like Model to Facilitate Open Innovation in Requirements Engineering", Tartu 2019.
Supervisor: Prof. Dietmar Pfahl. - Sulev Reisberg - "Developing computational solutions for personalized medicine", Tartu 2019 (video).
Supervisor: Prof. Jaak Vilo. - Tõnis Tasa - "Bioinformatics approaches in personalized pharmacotherapy", Tartu 2019 (video).
Supervisors: Prof. Jaak Vilo, Assoc. Prof. Tuuli Metsvaht (Institute of Clinical Medicine, UT) and Res. Prof. Lili Milani (Institute of Genomics, UT). - Elena Sügis - "Integration methods for heterogeneous biological data", Tartu 2019 (video).
Supervisors: Prof. Jaak Vilo and senior researcher Hedi Peterson. - Vijayachitra Modhukur - "Profiling of DNA methylation patterns as biomarkers of human disease", Tartu 2019 (video).
Supervisors: Prof. Jaak Vilo and Dr Balaji Rajashekar. - Toomas Krips - "Improving performance of secure real-number operations", Tartu 2019 (video).
Supervisors: AS Cybernetica's senior researcher Jan Villemson and Prof.Dominique Unruh. - Mohan Liyanage - „A Framework for Mobile Web of Things“, Tartu 2019 (video).
Supervisors: research professor Satish Srirama and researcher Chii Chang. - Irene Teinemaa - "Predictive and Prescriptive Monitoring of Business Process Outcomes", Tartu 2019 (video).
Supervisors: Prof.Marlon Dumas ja associate professor Fabrizio Maggi. - Yauhen Yakimenka - "Failure Structures of Message-Passing Algorithms in Erasure Decoding and Compressed Sensing", Tartu 2019 (video).
Supervisor: associate professor Vitaly Skachek. - Ilya Verenich - "Explainable Predictive Monitoring of Temporal Measures of Business Processes“, Tartu 2019 (video).
Supervisors: Prof.Marlon Dumas, associate professor Fabrizio Maggi, prof Marcello La Rosa (University of Melbourne), Prof.Arthur ter Hofstede (Queensland University of Technology). - Ehsan Ebrahimi - "Post-Quantum Security in the Presence of Superposition Queries“, Tartu 2019 (video).
Supervisor: Prof.Dominique Unruh.
2018
- Riivo Kikas "Analysis of issue and dependency management in open-source software projects".Tartu, 2018.
Supervisors: prof Marlon Dumas and prof Dietmar Pfahl (Video) - Abdullah Makkeh - „Applications of Optimization in Some Complex Systems”. Tartu, 2018.
Supervisor: dots Dirk Oliver Theis (Video)
2017
- Eno Tõnisson - "Differences between Expected Answers and the Answers Offered by Computer Algebra Systems to School Mathematics Equations". Tartu, 2017. Supervisor: Rein Prank (Video)
- Kristjan Korjus - "Analyzing EEG data and improving data partitioning for machine learning algorithms". Tartu, 2017. Supervisor: Raul Vincente Zafra (Video)
- Toomas Saarsen - "On the Structure and Use of Process Models and their Interplay". Tartu, 2017. Supervisor: Marlon Dumas (Video)
- Alisa Pankova - "Efficient multiparty computation secure against covert and active adversaries". Tartu, 2017. Supervisors: Peeter Laud, Sven Laur (Video)
- Jaak Randmets - "Programming Languages for Secure Multi-party Computation Application Development". Tartu, 2017. Supervisors: Peeter Laud, Varmo Vene (Video)
- Mozghan Pourmoradnasseri - „Some Problems Related to Extensions of Polytopes“. Tartu, 2017. Supervisor: Dirk Oliver Theis (Video)
- Anna Leontjeva - "Using Generative Models to Combine Static and Sequential Features for Classification". Tartu, 2017. Supervisors: Jaak Vilo, Marlon Dumas (Video)
- Pelle Jakovits "Adapting scientific computing algorithms to distributed computing frameworks". Tartu, 2017. Supervisor: Satish Srirama (Video)
- Prastudy Mungkas Fauzi „Efficient Non-Interactive Zero-Knowledge Protocols in the CRS Model“. Tartu, 2017. Supervisor: Helger Lipmaa (Video)
- Siim Orasmaa „Explorations of the Problem of Broad-coverage and General Domain Event Analysis: The Estonian Experience". Tartu, 2017. Supervisor: Heiki-Jaan Kaalep (Video)
2016
- Riivo Talviste "Applying Secure Multi-Party Computation in Practice". Tartu, 2016 Supervisors: Sven Laur, Dan Bogdanov (video)
- Tauno Metsalu "Statistical analysis of multivariate data in bioinformatics". Tartu, 2016. Supervisor: Jaak Vilo (video)
2015
- Huber Raul Flores Macario "Service-oriented and Evidence-aware Mobile Cloud Computing" . Tartu, 2015. Supervisor: Satish Srirama (video )
- Fredrik Payman Milani "On Sub-Processes, Process Variation and their Interplay: An Integrated Divide-and-Conquer Method for Modeling Business Processes with Variation" . Tartu, 2015. Supervisors: Marlon Dumas, Raimundas Matulevicius (video )
- Abel Armas Cervantes "Diagnosing Behavioral Differences between Business Process Models" . Tartu, 2015. Supervisors: Marlon Dumas, Luciano Garcia Banuelos (video )
- Liina Kamm "Privacy-preserving statistical analysis using secure multi-party computation". Tartu, 2015. Supervisor: Sven Laur (video)
2014
- Naved Ahmed "Deriving Security Requrements from Business Process Models". Supervisors: Raimundas Matulevicius, Marlon Dumas
- Vladimir Šor "Statistical Approach for Memory Leak Detection in Java Applications". Tartu, 2014. Supervisor: Satish Srirama (video)
- Raivo Kolde "Methods for re-using public gene expression data". Tartu, 2014. Supervisor: Jaak Vilo (video)
2013
- Margus Freudenthal Simpl: A Toolkit for Domain-Specific Language Development in Enterprise Information Systems. Tartu, 2013. Supervisor: Marlon Dumas
- Jevgeni Kabanov Towards a more productive Java EE ecosystem. Tartu, 2013. Supervisor: Varmo Vene
- Dan Bogdanov Sharemind: Programmable Secure Computations with Practical Applications. Tartu, 2013. Supervisor: Sven Laur (video)
2012
- Georg Singer Web Search Engines and Complex Information Needs. Tartu, 2012. Supervisors: Eero Vainikko, Ulrich Norbisrath, Dirk Lewandowski (video)
- Uuno Puus Structural performance as a success factor in software development projects – Estonian experience. Tartu, 2012. Supervisors: Tõnis Mets, Jüri Kiho
2011
- Reina Uba Merging Business Process Models. Tartu, 2011. Supervisors: Jaak Vilo, Marlon Dumas, Marcello La Rosa (video)
- Bingsheng Zhang Efficient Cryptographic Protocols for Secure and Private Remote Databases. Tartu, 2011. Supervisors: Helger Lipmaa, Peeter Laud (video)
- Meelis Kull Statistical Enrichment Analysis in Algorithms for Studying Gene Regulation. Tartu, 2011. Supervisor: Jaak Vilo
- Dmitri Lepp Solving Simplification Problems in the Domain of Exponents, Monomials and Polynomials in Interactive Learning Environment T-algebra. Tartu, 2011. Supervisor: Rein Prank
- Margus Treumuth A Framework for Asynchronous Dialogue Systems: Concepts, Issues and Design Aspects. Tartu, 2011. Supervisors: Päivi Kristiina Jokinen, Mare Koit
- Siim Karus Maintainability of XML Transformations. Tartu, 2011. Supervisors: Helle Hein, Marlon Dumas
- Margus Niitsoo Black-box Oracle Separation Techniques with Applications in Time-stamping. Tartu, 2011. Supervisor: Ahto Buldas
- Mark Fišel Optimizing Statistical Machine Translation via Input Modification. Tartu, 2011. Supervisors: Mare Koit, Joakim Nivre
2010
- Vesal Vojdani. Static Data Race Analysis of Heap-Manipulating C Programs. Tartu, 2010. Supervisors: Varmo Vene, Helmut Seidl
- Ahti Peder. Superpositional Graphs and Finding the Description of Structure by Counting Method. Tartu, 2010. Supervisor: Mati Tombak
- Jüri Reimand. Functional analysis of gene lists, networks and regulatory systems. Tartu, 2010. Supervisor: Jaak Vilo
- Reimo Palm. Numerical comparison of regularization algorithms for solving ill-posed problems. Tartu, 2010. Supervisor: Uno Hämarik
2008
- Mart Anton. Mechanical modeling of IPMC actuators at large deformations. Tartu, 2008. Supervisors: Jan Villemson, Alvo Aabloo, Maarja Kruusmaa
- Kaarel Kaljurand. Attempto Controlled English as a Semantic Web Language. Tartu, 2008. Supervisors: Kaili Müürisep, Norbert E. Fuchs
2007
- Marina Lepp. Solving of linear equations, linear inequalities and systems of linear equations in interactive learning environment. Tartu, 2007. Supervisor: Rein Prank
2006
- Härmel Nestra. Iteratively defined transfinite trace semantics and program slicing with respect to them. Tartu, 2006. Supervisor: Varmo Vene
- Kristo Heero. Path Planning and Learning Strategies for Mobile Robots in Dynamic Partially Unknown Environments. Tartu, 2006. Supervisors: Jan Villemson, Maarja Kruusmaa
2002
- Jan Villemson. Size-efficient interval time stamps. Tartu, 2002. Supervisors: Mati Tombak, Ahto Buldas
2001
- Tiina Puolakainen. Computer grammar of Estonian : morphological disambiguation. Tartu, 2001. Supervisor: Mare Koit
2000
- Olga Sokratova. Ω-rings, their flat and projective acts with some applications. Tartu, 2000. Supervisor: Uno Kaljulaid
- Varmo Vene. Categorical programming with inductive and conductive types. Tartu, 2000. Supervisor: Merik Meriste
- Kaili Müürisep. Computer grammar of Estonian: syntax. Tartu, 2000. Supervisor: Mare Koit
1999
- Helger Lipmaa. Secure and efficient time-stamping systems. Tartu, 1999. Supervisor: Mati Tombak