Academic staff
Akadeemiline personal
Vesal Vojdani · Associate Professor
Danel Ahman · Associate Professor
Kalmer Apinis · Research Fellow
Chad Nester · Research Fellow
Matthew David Earnshaw · Research Fellow
Ahti Põder · Lecturer in Informatics
Institute
Instituut
Programming Languages at the University of Tartu
Programmeerimiskeeled Tartu Ülikoolis
I work in the Institute of Computer Science, Chair of Programming Languages and Systems at the University of Tartu.
Töötan Tartu Ülikooli arvutiteaduse instituudi programmeerimiskeelte ja -süsteemide õppetoolis.
Laboratory
Labor
Laboratory for Software Science
Software Science’i labor
The Laboratory for Software Science focuses on formal methods, type systems, and verification of system properties.
Software Science’i labor keskendub formaalmeetoditele, tüübisüsteemidele ja süsteemiomaduste verifitseerimisele.
Group members
Rühma liikmed
Colleagues
Kolleegid
Associated members
Seotud liikmed
Varmo Vene · Professor
Dietmar Pfahl · Professor
Helmut Seidl · Professor (TU München)
Merlin Kramer · Independent Researcher
Students
Tudengid
Simmo Saan · PhD
Bruno Carneiro · PhD
Karoliine Holter · PhD
Jevgenijs Protopopovs · PhD
Thesis topics
Lõputöö teemad
Topics for students
Teemad tudengitele
Functional programming
Funktsionaalprogrammeerimine
Topics in functional programming and education.
Funktsionaalprogrammeerimise ja õpetamise teemad.
Program analysis
Programmianalüüs
Static analysis with a focus on soundness and explainability.
Staatiline analüüs, rõhuga korrektsusel ja selgitatavusel.
Rocq Prover
Rocq Prover
Formal proofs and verified algorithms using Rocq/Coq.
Formaalsed tõestused ja verifitseeritud algoritmid Rocq/Coq abil.
Collaboration
Koostöö
Collaborations
Koostööd
Goblint development in collaboration with Technical University of Munich.
Goblinti arendus koostöös Müncheni Tehnikaülikooliga.