Thesis supervisors by research area

Klick on the names of individual supervisors to see their proposed topics.

Danel Ahman (Algebraic effects, Asynchrony, Temporal resources, Programming language semantics, F*, Agda)
Kalmer Apinis (Functional programming, Program Analysis, Coq)
Vambola Leping (System Analysis & Design, Software Development)
Chad Nester (Category Theory, Programming Language Semantics, Logic)
Ahti Peder (Algorithms, Programming, Combinatorics)
Reimo Palm (Computer-Aided Learning, theoretical informatics)
B. Rucy (Query Optimisation, Ontologies, Logic Programming)
Tõnu Tamme (Logic Programming)
Vesal Vojdani (Software Science)

Topics in programming didactics (only in Estonian) are available here.