Her stays there are generously funded by an FCT grant.From September 2010 to August 2011, she was a post-doc at the Foundations of software engineering group, at the CWI, in Amsterdam. During that period, she spent some wonderful months visiting Prof.Dexter Kozen at Cornell University.Until September 2010, she was a PhD student at the CWI under the supervision of Jan Rutten and Marcello Bonsangue. Her thesis, entitled Kleene coalgebra, was defended on the 21st December 2010 at the Radboud University, in Nijmegen.