{"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-09-21T11:42:01","modified_gmt":"2026-09-21T08:42:01","slug":"sample-page","status":"publish","type":"page","link":"https:\/\/sisu.ut.ee\/sws\/","title":{"rendered":"Home"},"content":{"rendered":"<p class=\"wp-block-paragraph\">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 class=\"wp-block-paragraph\">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<h4 class=\"wp-block-heading\"><a href=\"https:\/\/danel.ahman.ee\/\">Danel Ahman<\/a><\/h4>\n\n\n\n<p class=\"wp-block-paragraph\">Group Leader. Associate Professor of Programming Languages.<\/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 class=\"wp-block-paragraph\">Group Leader. 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 class=\"wp-block-paragraph\">Lecturer 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 class=\"wp-block-paragraph\">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 class=\"wp-block-paragraph\">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 class=\"wp-block-paragraph\">Research Fellow in Programming Languages.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\">Ahti P\u00f5der<\/h4>\n\n\n\n<p class=\"wp-block-paragraph\">Lecturer in Informatics.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\"><a href=\"https:\/\/sim642.eu\/\">Simmo Saan<\/a><\/h4>\n\n\n\n<p class=\"wp-block-paragraph\">Lecturer in Programming Languages.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\"><\/h4>\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 class=\"wp-block-paragraph\"><\/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 class=\"wp-block-paragraph\">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 class=\"wp-block-paragraph\">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 class=\"wp-block-paragraph\">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 class=\"wp-block-paragraph\">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 class=\"wp-block-paragraph\"><\/p>\n\n\n\n<h4 class=\"wp-block-heading\">Bruno Carneiro<\/h4>\n\n\n\n<p class=\"wp-block-paragraph\">PhD student.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\">Karoliine Holter<\/h4>\n\n\n\n<p class=\"wp-block-paragraph\">PhD student.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\">Ronald Judin<\/h4>\n\n\n\n<p class=\"wp-block-paragraph\">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 class=\"wp-block-paragraph\">PhD student.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\"><\/h4>\n\n\n\n<p class=\"wp-block-paragraph\"><\/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":18,"href":"https:\/\/sisu.ut.ee\/sws\/wp-json\/wp\/v2\/pages\/2\/revisions"}],"predecessor-version":[{"id":135,"href":"https:\/\/sisu.ut.ee\/sws\/wp-json\/wp\/v2\/pages\/2\/revisions\/135"}],"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}]}}