Since July 2008 I am a post doc in the Coordination Languages Group (SEN3) of the Software Engineering Cluster at the Centrum Wiskunde & Informatica (CWI). My current research interests are the theory of coalgebras, dynamical systems, formal methods and functional programming.