{"id":18,"date":"2025-07-02T15:09:22","date_gmt":"2025-07-02T12:09:22","guid":{"rendered":"https:\/\/sisu.ut.ee\/sws\/?page_id=18"},"modified":"2025-11-06T10:05:59","modified_gmt":"2025-11-06T08:05:59","slug":"defended-theses","status":"publish","type":"page","link":"https:\/\/sisu.ut.ee\/sws\/defended-theses\/","title":{"rendered":"Defended Theses"},"content":{"rendered":"<p>Theses with Estonian titles are in Estonian. We generally recommend students to write their undergraduate theses in their native language. This is not only because preservation of the Estonian language is the\u00a0<a href=\"https:\/\/ut.ee\/en\/values-and-responsibility\">stated mission<\/a>\u00a0of the University of Tartu, but also because good academic writing is challenging enough without the additional complication of writing in a second language.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">M.Sc. Theses<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Joosep Tavits,\u00a0<a href=\"https:\/\/thesis.cs.ut.ee\/1c038012-af0d-444a-95dc-7ffc8b3a1f20\">Implementing Temporal Resources<\/a>, 2025.<\/li>\n\n\n\n<li>Kadi Sammul,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=79245\">V\u00f5rrandi lahendamine kombineeritud laiendamise ja kitsendamise abil Coqis<\/a>, 2024.<\/li>\n\n\n\n<li>T\u00f5nis Hendrik Hlebnikov,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=77902\">Evaluating CodeQL for Automated Runtime Complexity Approximation<\/a>, 2023.<\/li>\n\n\n\n<li>Karoliine Holter,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=77425\">Adapting an Alarm Repositioning Algorithm to Data Races<\/a>, 2023.<\/li>\n\n\n\n<li>Kaarel Tinn,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=72327&amp;year=2021\">Developing a Course on Teaching Functional Programming in JavaScript<\/a>, 2021.<\/li>\n\n\n\n<li>Simmo Saan,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=70118&amp;year=2020\">Witness Generation for Data-flow Analysis<\/a>, 2020.<\/li>\n\n\n\n<li>Liem Radita Tapaning Hesti,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=65925&amp;year=2019\">Model Driven Development and Analysis for Embedded Automotive Software<\/a>, 2019.<\/li>\n\n\n\n<li>Liisi Kerik,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=62115&amp;year=2018\">Funktsionaalse programmeerimiskeele liigis\u00fcsteem<\/a>, 2018.<\/li>\n\n\n\n<li>Lembit Valgma,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=63617&amp;year=2018\">Usable and Sound Static Analysis through its Integration into Automated and Interactive Workflows<\/a>, 2018.<\/li>\n\n\n\n<li>Dmitri Gabbasov,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=54277&amp;year=2016\">Adding Nim programming language support to IntelliJ IDEA<\/a>, 2016.<\/li>\n\n\n\n<li>Ostap Maliuvanchuk,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=54253&amp;year=2016\">Performance optimization of a Java instrumentation agent for calling context encoding<\/a>, 2016.<\/li>\n\n\n\n<li>T\u00f5nis Pool,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=54297&amp;year=2016\">Generic Reloading for Languages Based on the Truffle Framework<\/a>, 2016.<\/li>\n\n\n\n<li>Vootele R\u00f5tov,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=55837&amp;year=2016\">Time Partitioning in Goblint: Extending region analysis with happens-before information<\/a>, 2016.<\/li>\n\n\n\n<li>Urmas Tamm,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=46841&amp;year=2015\">Eclipse plugin for analyzing embedded SQL queries in PHP programs<\/a>, 2015.<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">B.Sc. Theses<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Heigo Tornik,\u00a0<a href=\"https:\/\/thesis.cs.ut.ee\/dd327174-2673-4cf5-9138-8b4083e66e15\">N\u00f5rgad s\u00f5ltuvused k\u00f5rvalm\u00f5judega kitsenduss\u00fcsteemides<\/a>, 2025.<\/li>\n\n\n\n<li>Henrik Innos,\u00a0<a href=\"https:\/\/thesis.cs.ut.ee\/a85dc678-cde5-40c7-bcfc-870cab13e06e\">Bitioperatsioonide anal\u00fc\u00fcsi t\u00e4iendamine Goblintis<\/a>, 2025.<\/li>\n\n\n\n<li>Adeline Talvik,\u00a0<a href=\"https:\/\/thesis.cs.ut.ee\/43825acd-a664-4320-a43b-b8acdf3978c6\">Aine \u201cAutomaadid, keeled ja translaatorid\u201d koodibaasi moderniseerimine Java 21-le<\/a>, 2025.<\/li>\n\n\n\n<li>Ilja Sobolev,\u00a0<a href=\"https:\/\/thesis.cs.ut.ee\/4e4b3e43-1e04-473c-a161-c44a4ff7eed6\">As\u00fcnkroonsete algebraliste efektidega programmeerimiskeelte normaliseerimisomadused<\/a>, 2025.<\/li>\n\n\n\n<li>Aiden Madisson,\u00a0<a href=\"https:\/\/dspace.ut.ee\/items\/df2f07ff-24b3-4f0e-bf75-7b0c26002373\">Peano aritmeetika korrektsus<\/a>, 2025.<\/li>\n\n\n\n<li>Marlene Ibrus,\u00a0<a href=\"https:\/\/thesis.cs.ut.ee\/2de0a3e8-1fc2-4bce-8c79-d5432130e252\">Konfliktivabade dubleeritud andmet\u00fc\u00fcpide formaliseerimine<\/a>, 2025.<\/li>\n\n\n\n<li>Ronald Judin,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=79965\">Laiendamisoperaatorid abstraktses interpretaatoris Goblint<\/a>, 2024.<\/li>\n\n\n\n<li>Anette Taivere,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=79569\">Visual Studio Code pistikprogrammi testimine GobPie n\u00e4itel<\/a>, 2024.<\/li>\n\n\n\n<li>Epp Haavasalu,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=79993\">T\u00f6\u00f6vahendi CoOpeRace loomine<\/a>, 2024.<\/li>\n\n\n\n<li>Evaldas Petnjunas,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=79781\">GobExec: programmianal\u00fcsaatorite hindamisraamistik<\/a>, 2024.<\/li>\n\n\n\n<li>Aksel \u00d5im,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=79669\">Push-relabel algoritmi formaalne t\u00f5estamine Coq raamistikus<\/a>, 2024.<\/li>\n\n\n\n<li>Artur Hendrik M\u00e4gi,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=79517\">Veebip\u00f5hise automaatide \u00f5ppevahendi loomine ainele \u201cAutomaadid, keeled ja translaatorid\u201d<\/a>, 2024.<\/li>\n\n\n\n<li>Juhan-Oskar Hennoste,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=77173\">Abstraktne silur Goblintile<\/a>, 2023.<\/li>\n\n\n\n<li>Brandon Rauba,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=77858\">Scala 3 j\u00f5udlustestimine<\/a>, 2023.<\/li>\n\n\n\n<li>Kristen Surva,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=77517\">Praktiliste kodut\u00f6\u00f6de loomine ainele \u201cAutomaadid, keeled ja translaatorid\u201d<\/a>, 2023.<\/li>\n\n\n\n<li>Maarika Margus,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=74346&amp;year=2022\">Veebirakendus funktsionaalprogrammeerimise ja -keele Idris \u00f5ppimiseks<\/a>, 2022.<\/li>\n\n\n\n<li>Alexandra P\u00f5llum\u00e4e,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=74590&amp;year=2022\">Mudelip\u00f5hise testimise \u00f5ppematerjalide loomine ainele AKT<\/a>, 2022.<\/li>\n\n\n\n<li>Aron Sisask,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=74446&amp;year=2022\">Automatic Error Correction for Elixir<\/a>, 2022.<\/li>\n\n\n\n<li>Karoliine Holter,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=71925&amp;year=2021\">Funktsionaalprogrammeerimise \u00f5petamine Idrises<\/a>, 2021.<\/li>\n\n\n\n<li>Peter Kallaste,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=72033&amp;year=2021\">Efektis\u00fcsteemide \u00f5petamine Haskellis<\/a>, 2021.<\/li>\n\n\n\n<li>Raner Lebbin,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=73021&amp;year=2021\">Programmianal\u00fcsaator Goblinti hindamine Juliet testkomplektiga<\/a>, 2021.<\/li>\n\n\n\n<li>Karl Marten M\u00e4gi,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=71997&amp;year=2021\">Modulaarne staatiline programmianal\u00fc\u00fcs<\/a>, 2021.<\/li>\n\n\n\n<li>Alex Viil,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=72013&amp;year=2021\">Interaktiivne abstraktne interpretaator IntelliJ IDEA jaoks<\/a>, 2021.<\/li>\n\n\n\n<li>Kaarel Loide,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=69810&amp;year=2020\">Pythoni s\u00fcntaksivigade anal\u00fc\u00fcs algajas\u00f5bralikumate veateadete kuvamiseks<\/a>, 2020.<\/li>\n\n\n\n<li>Halliki Mullari,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=69894&amp;year=2020\">Java baitkoodi s\u00fcnkroniseerimise anal\u00fc\u00fcs raamistikus P\u00f5der<\/a>, 2020.<\/li>\n\n\n\n<li>Mirjam Iher,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=66604&amp;year=2019\">N\u00f5rgima eeltingimuse staatiline anal\u00fc\u00fcs pinukeeltele<\/a>, 2019.<\/li>\n\n\n\n<li>Karl J\u00e4\u00e4ts,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=66496&amp;year=2019\">IntelliJ IDEA-le testide loomise t\u00f6\u00f6vahendi Testmotor toe lisamine<\/a>, 2019.<\/li>\n\n\n\n<li>Ergo Nigola,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=66628&amp;year=2019\">Programmeerimis\u00fclesannetele puup\u00f5histe testandmete genereerimise s\u00fcsteem TestMotor<\/a>, 2019.<\/li>\n\n\n\n<li>Raul Redpap,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=67331&amp;year=2019\">Kahni algoritmi t\u00f5estamine Coq raamistikus<\/a>, 2019.<\/li>\n\n\n\n<li>Jaagup Russak,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=66408&amp;year=2019\">Programmeerimine, kasutades s\u00fcmboolseid automaate ja muundureid<\/a>, 2019.<\/li>\n\n\n\n<li>Andre Sinisalu,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=66504&amp;year=2019\">Java programmide staatiline intervallanal\u00fc\u00fcs raamistikus P\u00f5der<\/a>, 2019.<\/li>\n\n\n\n<li>Harald Astok,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=61929&amp;year=2018\">Java turvaaukude leidmine staatilise anal\u00fc\u00fcsiga: millest probleem?<\/a>, 2018.<\/li>\n\n\n\n<li>Veiko K\u00e4\u00e4p,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=61837&amp;year=2018\">Java Virtual Machine Multi-debugger Proxy Server<\/a>, 2018.<\/li>\n\n\n\n<li>Tiit Oja,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=61889&amp;year=2018\">Optimizing JVM profiling performance for Honest Profiler<\/a>, 2018.<\/li>\n\n\n\n<li>Simmo Saan,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=61841&amp;year=2018\">Abstraktsete domeenide omadusp\u00f5hine testimine<\/a>, 2018.<\/li>\n\n\n\n<li>Hele-Andra Kuulmets,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=58109&amp;year=2017\">T\u00fc\u00fcbiklassidega funktsionaalprogrammeerimine Scalas<\/a>, 2017.<\/li>\n\n\n\n<li>Marti Mutso,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=58037&amp;year=2017\">Haxl teegi uurimine<\/a>, 2017.<\/li>\n\n\n\n<li>Margus Pollman,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=58141&amp;year=2017\">Haskelli teegi Euterpea uurimine<\/a>, 2017.<\/li>\n\n\n\n<li>Risto P\u00e4rnapuu,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=58105&amp;year=2017\">Extending the Reach of Eclipse Plug-in for Analysing Embedded SQL Queries<\/a>, 2017.<\/li>\n\n\n\n<li>Karl-Mattias Tepp,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=58161&amp;year=2017\">Staatilise anal\u00fcsaatori Goblint tulemuste visualiseerimine<\/a>, 2017.<\/li>\n\n\n\n<li>Kaarel Tinn,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=58065&amp;year=2017\">Veebirakenduse loomine funktsionaalses programmeerimiskeeles Elixir<\/a>, 2017.<\/li>\n\n\n\n<li>Karl-Martin Uiga,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=58041&amp;year=2017\">T\u00fc\u00fcbiohutu FRP teegi uurimine: Grapefruit<\/a>, 2017.<\/li>\n\n\n\n<li>Tenno Veber,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=58093&amp;year=2017\">Haskelli FRP teegi uurimine: Reactive-banana<\/a>, 2017.<\/li>\n\n\n\n<li>Sander-Sebastian V\u00e4rv.\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=58157&amp;year=2017\">PDF dokumendi konverteerimine EPUB formaati<\/a>, 2017.<\/li>\n\n\n\n<li>Hiie Vill,\u00a0<a href=\"https:\/\/comserv.cs.ut.ee\/ati_thesis\/datasheet.php?id=53787&amp;year=2016\">Graafialgoritmide visualiseerimine<\/a>, 2016.<\/li>\n<\/ul>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Theses with Estonian titles are in Estonian. We generally recommend students to write their undergraduate theses in their native language. This is not only because preservation of the Estonian language is the\u00a0stated mission\u00a0of the University of Tartu, but also because &#8230;<\/p>\n","protected":false},"author":819,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"inline_featured_image":false,"footnotes":""},"class_list":["post-18","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/sisu.ut.ee\/sws\/wp-json\/wp\/v2\/pages\/18","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sisu.ut.ee\/sws\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/sisu.ut.ee\/sws\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/sisu.ut.ee\/sws\/wp-json\/wp\/v2\/users\/819"}],"replies":[{"embeddable":true,"href":"https:\/\/sisu.ut.ee\/sws\/wp-json\/wp\/v2\/comments?post=18"}],"version-history":[{"count":2,"href":"https:\/\/sisu.ut.ee\/sws\/wp-json\/wp\/v2\/pages\/18\/revisions"}],"predecessor-version":[{"id":44,"href":"https:\/\/sisu.ut.ee\/sws\/wp-json\/wp\/v2\/pages\/18\/revisions\/44"}],"wp:attachment":[{"href":"https:\/\/sisu.ut.ee\/sws\/wp-json\/wp\/v2\/media?parent=18"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}