Lõputöö juhendajad ja nende uurimisvaldkonnad

Danel Ahman (Algebralised efektid, Asünkroonsed arvutused, Ajalised ressursid, F*, Agda)
Kalmer Apinis (Funktsionaalprogrammeerimine, Programmianalüüs, Coq)
Vambola Leping (Süsteemianalüüs, disain, tarkvaraarendus)
Ahti Peder (Algoritmid, programmeerimine, kombinatoorika)
Reimo Palm (Õpiprogrammid, teoreetiline informaatika)
Tõnu Tamme (Loogiline programmeerimine)
Vesal Vojdani (Tarkvarateadus)
B. Rucy (Päringu optimeerimine, Ontoloogiad, Loogiline Programmeerimine)

Veel programmeerimise õpetamise ja õppimise uurimise teemasid ja juhendajaid leiab aadressilt https://didaktika.cs.ut.ee/pakutavad-teemad/