Master projects in Programming Theory
Below you will find a link to some of the Master's projects offered by the PUT group. It is often a good idea to talk to prospective supervisors, as they may have ideas not presented here. Sometimes it is also possible to work out something suitable in cooperation with the supervisor.
Main content
Studying Programming Theory
The PUT group offers two specialisations for a Master's degree: programming theory and program development. Programming theory is based on logic, algebra and formal methods. The Master's programme in program development is in cooperation with Bergen University College, and is more practially oriented, focusing on programming and software engineering.
The topics are suggestions that will be tuned further in cooperation with the supervisors. It is possible to focus on different parts of the topics, or look at related challenges instead. The topics are well suited for students who enjoy programming, and would like to work at the threshold between theory and practice.
There are possibilities for international cooperation with other researchers.
https://put.ii.uib.no/student-project-topics/project-topics.html