Currently open theses topics

working title announcement together with
Time approximation tool for concurrent programs pdf and web SIRIUS
R3: Random Robust RUST pdf Security lab
Typing and subtyping for security web ConSERnS
Checking properties of legal electronic contracts web  
Verification tool for concurrenct software    
Modelling support for the Go langauge   UiB
Refactoring at Scale   UiB
Mutex with pointers pdf  

General remarks

Open thesis topics of the PMA group in general can of course also found via group's web-page (also together with other (co-)supervisors.)

It may also be instructive to browse not just open topics, but look at theses that have been completed. Thus we (try to) maintain an overview over completed master theses, where also in most cases the thesis document itself is available. That gives an expression over past theses under our supervision.

Author: Martin Steffen

Created: 2018-01-15 Mon 07:06