Fatemeh Seifan promoveert op het proefschrift: 'Coalgebraic fixpoint logic: expressivity and completeness results'. Promotoren zijn prof. dr. Y. Venema en prof. dr. H.H. Hansen. Copromotor is dr. N.J.S. Enqvist.