Minh Nguyen starts his final Master thesis project, in which he will try to verify functional correctness of a red black tree using VerCors.

Marieke Huisman, Stefan Blom (BetterBe) and Sebastiaan Joosten will supervise the project.