Person. Frits Vaandrager Head of Department of Software Science · Radboud University · cs.ru.nl/F.Vaandrager · 0000-0003-3955-1910 PhD advisorJan Bergstra PostdocsTiago Ferreira PhDUniversity of Amsterdam