{"id":2,"date":"2025-07-02T11:14:41","date_gmt":"2025-07-02T11:14:41","guid":{"rendered":"https:\/\/sisu.ut.ee\/sws\/?page_id=2"},"modified":"2026-03-05T14:15:59","modified_gmt":"2026-03-05T12:15:59","slug":"sample-page","status":"publish","type":"page","link":"https:\/\/sisu.ut.ee\/sws\/","title":{"rendered":"Home"},"content":{"rendered":"<p>Software science explores the mathematical and technological foundation of programming. It develops the theories, languages and tools needed to build reliable software systems. The ultimate goal of software science is to reduce programming-induced gratuitous suffering: By grounding software development on a solid mathematical foundation, harmful software bugs and security vulnerabilities are eliminated.<\/p>\n\n\n\n<blockquote class=\"wp-block-quote is-layout-flow wp-block-quote-is-layout-flow\">\n<p>The Laboratory for Software Science at the University of Tartu was founded to consolidate research in this critical area at the core of computer science. Our lab is particularly concerned with developing methods to verify system properties via type systems, category theory, and formally sound program analysis techniques.<\/p>\n<\/blockquote>\n\n\n\n<h2 class=\"wp-block-heading\">Academic staff members:<\/h2>\n\n\n\n<p><\/p>\n\n\n\n<h4 class=\"wp-block-heading\"><a href=\"https:\/\/kodu.ut.ee\/~vesal\/\" data-type=\"link\" data-id=\"https:\/\/kodu.ut.ee\/~vesal\/\">Vesal Vojdani<\/a><\/h4>\n\n\n\n<p>Associate Professor of Programming Languages.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\"><a href=\"https:\/\/danel.ahman.ee\/\">Danel Ahman<\/a><\/h4>\n\n\n\n<p>Associate Professor of Programming Languages.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\"><a href=\"https:\/\/kodu.ut.ee\/~kalmera\/\">Kalmer Apinis<\/a><\/h4>\n\n\n\n<p>Research Fellow in Programming Languages.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\"><a href=\"https:\/\/kodu.ut.ee\/~nester\/\">Chad Nester<\/a><\/h4>\n\n\n\n<p>Research Fellow in Programming Languages.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\"><a href=\"https:\/\/www.mattearnshaw.com\/index\/index.xml\">Matt Earnshaw<\/a><\/h4>\n\n\n\n<p>Research Fellow in Programming Languages.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\"><a href=\"https:\/\/www.irif.fr\/users\/milicich\/index\">Mariana Milicich<\/a><\/h4>\n\n\n\n<p>Research Fellow in Programming Languages.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\">Ahti P\u00f5der<\/h4>\n\n\n\n<p>Lecturer in Informatics.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\">\n\n\n\n<h2 class=\"wp-block-heading\">Associated members:<\/h2>\n\n\n\n<p><\/p>\n\n\n\n<h4 class=\"wp-block-heading\"><a href=\"https:\/\/ut.ee\/~varmo\">Prof. Varmo Vene<\/a><\/h4>\n\n\n\n<p>Programming Languages and Systems.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\"><a href=\"https:\/\/sep.cs.ut.ee\/\">Prof. Dietmar Pfahl<\/a><\/h4>\n\n\n\n<p>Software Engineering &amp; Information Systems.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\"><a href=\"https:\/\/www.cs.cit.tum.de\/en\/pl\/personen\/helmut-seidl\/\">Prof. Helmut Seidl<\/a><\/h4>\n\n\n\n<p>Formal Languages, TU M\u00fcnchen.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\"><a href=\"https:\/\/dblp.org\/pid\/354\/7360.html\">Merlin Kramer<\/a><\/h4>\n\n\n\n<p>Independent Researcher, High-performance Computing &amp; Logic Programming<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\">\n\n\n\n<h2 class=\"wp-block-heading\">Students:<\/h2>\n\n\n\n<p><\/p>\n\n\n\n<h4 class=\"wp-block-heading\">Bruno Carneiro<\/h4>\n\n\n\n<p>PhD student<\/p>\n\n\n\n<h4 class=\"wp-block-heading\">Karoliine Holter<\/h4>\n\n\n\n<p>PhD student.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\"><a href=\"https:\/\/www.protopopov.lv\/\">Jevgenijs Protopopovs<\/a><\/h4>\n\n\n\n<p>PhD student.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\"><a href=\"https:\/\/sim642.eu\/\">Simmo Saan<\/a><\/h4>\n\n\n\n<p>PhD student.<\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Software science explores the mathematical and technological foundation of programming. It develops the theories, languages and tools needed to build reliable software systems. The ultimate goal of software science is to reduce programming-induced gratuitous suffering: By grounding software development on &#8230;<\/p>\n","protected":false},"author":819,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"_acf_changed":false,"inline_featured_image":false,"footnotes":""},"class_list":["post-2","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/sisu.ut.ee\/sws\/wp-json\/wp\/v2\/pages\/2","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=2"}],"version-history":[{"count":12,"href":"https:\/\/sisu.ut.ee\/sws\/wp-json\/wp\/v2\/pages\/2\/revisions"}],"predecessor-version":[{"id":107,"href":"https:\/\/sisu.ut.ee\/sws\/wp-json\/wp\/v2\/pages\/2\/revisions\/107"}],"wp:attachment":[{"href":"https:\/\/sisu.ut.ee\/sws\/wp-json\/wp\/v2\/media?parent=2"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}