et en

Lõputöö juhendajad ja nende uurimisvaldkonnad

Erinevate juhendajate poolt pakutavate teemade nägemiseks klõpsa nende nimede peal.

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

Programmeerimise õpetamise ja õppimise uurimise teemad ja juhendajad leiab siit.