New group member: Olav Bunte

Olav Bunte started as a PhD candidate in the VOICE-B project in our group. The VOICE-B project, led by Tim Willemse and Louis van Gool (Océ) aims to formalise the OIL language used at Océ with a particular focus on adding verification technology for verifying programs written in OIL. The five-year project is fully sponsored by Océ-Technologies B.V.