Lõputöö teemad
The field of programming languages is wide and varied. The following are some of our main interests: developing tools to improve computer science education, investigating techniques that take programming to the next level, and exploring the pure unadulterated theory of programming.
| Teaching Tools | Programming 2.0 | Deep Theory |
|---|---|---|
 |  |  |
All topics, unless explicitly stated otherwise, can be formulated for B.Sc. and M.Sc. level of studies. And please do not forget the that you can actually come to us and propose your own topics! You should view the topics listed as examples, not a complete list of what can be done in this field. Here are our concrete topics sorted by supervisor:
- Aivar Annamaa (Thonny, RoboPython)
- Kalmer Apinis (Funktsionaalprogrammeerimine, Programmianalüüs, Coq)
- Härmel Nestra (Funktsionaalprogrammeerimine, Semantika, Teooria)
- 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 (Programmianalüüs, testigenereerimine, uusküberkaitse)