Fysikkbygningen øst (kart)
Sem Sælands vei 24
This gathers various interesting topics which require a more mathematical mind and are usually more challenging. Such topics deal with fundamental aspects of computer science, like logics, semantic models, algorithms, process algebras. Here the student can choose various topics to focus on, depending on the interest, which we find out together through discussions.
One can do various kinds of MSc theses, starting from contributing with programming a simple module for some existing formal tool, like model checker, or a literature study, or doing modelling of real-life systems, or develop a concurrent programming/modelling language, or doing mathematical work on the logical or theoretical foundations.
Ask for discussions with one of the supervisors, for more information or variations of the project. See also general concerns.
The Reliable Systems group PSY (formerly PMA) teaches the following courses: