Defended PhD theses
Doctoral thesis defended in 2023
- Mohamed Ragab Moawad Mohamed „Bench-Ranking: A Prescriptive Analysis Approach for Large Knowledge Graphs Query Workloads“, Tartu 2023 (video).
Supervisors: Assoc. Prof. Riccardo Tommasini and Prof. Ahmed Awad.
- Lidia Feklistova „Learners of an introductory programming MOOC: background variables, engagement patterns and performance“, Tartu 2022 (video).
Supervisors: Assoc. Prof. Marina Lepp ja Assoc. Prof. Piret Luik. - Gamal Mahmoud Abdelmoaty Ibrahim Elkoumy „Privacy-Enhancing Technologies for Business Process Mining“, Tartu 2022 (video).
Supervisor: Prof. Marlon Dumas. - Jakob Mass „Process Management for Internet of Mobile Things“, Tartu 2022 (video).
Supervisors: Visiting Prof. Satish Narayana Srirama ja dr Chii Chang, Apromore (Australia). - Mubashar Iqbal "Reference framework for managing security risks using blockchain”, Tartu 2022 (video).
Supervisor: Prof. Raimundas Matulevičius - Elizaveta Yankovskaya "Quality estimation through attention", Tartu 2022 (video).
Supervisor: Prof. Mark Fišel. - Kristjan Krips "Privacy and coercion-resistance in voting", Tartu 2022.
Supervisors: Jan Willemson. (Cybernetica AS) ja Assoc. Prof. Sven Laur. - Volodymyr Leno "Robotic Process Mining: accelerating the adoption of Robotic Process Automation", Tartu 2022 (video).
Supervisors: 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).
Supervisors: Prof. Marlon Dumas ja Assoc. Prof. Oscar González-Rojas.
- Veronika Plotnikova “FIN-DM: a data mining process for the financial services“, Tartu 2021 (video).
Supervisors: Prof. Marlon Dumas and Assoc. Prof. Fredrik P. Milani. - Hina Anwar “Towards greener software engineering using software analytics”, Tartu 2021 (video).
Supervisors: Prof Dietmar Pfahl and Visiting Professor Satish Narayana Srirama. - Ivo Kubjas “Algebraic approaches to problems arising in decentralized systems”, Tartu 2021 (video)
Supervisor: Assoc. Prof. Vitaly Skachek. - Dmytro Fishman “Developing a data analysis pipeline for automated protein profiling in immunology“, Tartu 2021 (video)
Supervisors: Assoc. Prof. Hedi Peterson, Prof. Jaak Vilo and Prof. Pärt Peterson (Institute of Biomedicine and Translational Medicine, University of Tartu). - Liis Kolberg “Developing and applying bioinformatics tools for gene expression data interpretation”, Tartu 2021 (video)
Supervisor: Assoc. Prof. Hedi Peterson. - Tauno Palts „A model for assessing computational thinking skills“, Tartu 2021 (video)
Supervisors: Prof. Margus Pedaste and Prof. Varmo Vene. - Kaido Lepik „Inferring causality between transcriptome and complex traits”, Tartu 2021, (video)
Supervisors: Sen. Res. Fellow Hedi Peterson and Prof. Jaak Vilo. - Arnis Paršovs „Estonian Electronic Identity Card and its Security Challenges”, Tartu 2021 (video)
Supervisors: Dr. Jan Villemson (Cybernetica AS) and Prof. Dominique Unruh. - Ljubov Jaanuska „Haar Wavelet Method for Vibration Analysis of Beams and Parameter Quantification“, Tartu 2021 (video)
- 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.
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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
- 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
- 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
- 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
- Marina Lepp. Solving of linear equations, linear inequalities and systems of linear equations in interactive learning environment. Tartu, 2007. Supervisor: Rein Prank
- 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
- Jan Villemson. Size-efficient interval time stamps. Tartu, 2002. Supervisors: Mati Tombak, Ahto Buldas
- Tiina Puolakainen. Computer grammar of Estonian : morphological disambiguation. Tartu, 2001. Supervisor: Mare Koit
- 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
- Helger Lipmaa. Secure and efficient time-stamping systems. Tartu, 1999. Supervisor: Mati Tombak
