From last January, Philip Tasche has joined our VerCors team as a PhD candidate. Philip will be working under the SAVES project for the formal verification of SystemC embedded systems software. Welcome Philip!