Thesis Topics
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 (Functional programming, Program Analysis, Coq)
- Härmel Nestra (Functional programming, Semantics, Theory)
- Vambola Leping (System Analysis & Design, Software Development)
- Ahti Peder (Algorithms, Programming, Combinatorics)
- Reimo Palm (Computer-Aided Learning, theoretical informatics)
- Rein Prank (Computer-Aided Learning, Computational Mathematics )
- Tõnu Tamme (Logic Programming)
- Vesal Vojdani (Program Analysis, Test Generation, The New Cybersecurity)