Past BSc and MSc theses

This page is still under construction.

These are a few examples of BSc and MSc theses that I advised. The authors have kindly accepted to share them here.

• Bjørn Angel Kjær. (2020). Implementing Choreography Extraction in Java. BSc thesis in Computer Science. University of Southern Denmark. [PDF]