The VERSEN master thesis award was granted to Kevin Jilissen for his master thesis showing that tunnel software can formally be verified, exposing some design errors.