Thesis supervisors by research area
- Danel Ahman (Algebraic effects, Asynchrony, Temporal resources, F*, Agda)
- Kalmer Apinis (Functional programming, Program Analysis, Coq)
- Vambola Leping (System Analysis & Design, Software Development)
- Ahti Peder (Algorithms, Programming, Combinatorics)
- Reimo Palm (Computer-Aided Learning, theoretical informatics)
- Rein Prank (Computer-Aided Learning, Computational Mathematics )
- Tõnu Tamme (Logic Programming)
- Vesal Vojdani (Software Science)
- B. Rucy (Query Optimisation, Ontologies, Logic Programming)
Topics in programming didactics (only in Estonian) are available here: https://didaktika.cs.ut.ee/pakutavad-teemad/.