et en

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)
  • Rein Prank (Õpiprogrammid, kompuutermatemaatika)
  • 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/