Promotie Alexandra Silva
Alexandra Silva heeft gisteren aan de RUN haar proefschrift Kleene Coalgebra met succes verdedigd, met Prof.dr. J. Rutten (CWI, RUN) als promotor en Dr. Marcello Bonsangue als copromotor.
De promotiecommissie, met daarin o.a. Prof.dr. Dexter Kozen, heeft bovendien besloten het proefschrift te onderscheiden met het predicaat "cum laude''.