Fysikkbygningen øst (kart)
Sem Sælands vei 24
This topic involves understanding and modelling the election management algorithm Sainte Lagues, which is developed/maintained by UiO people (students and researchers led by Bernt Aardal). Moreover, the topic involves working with verification techniques and tools, both for algorithms but also for code. The programming language is TypeScript.