About mweerden.net

Well, this is my personal website. I'm Muck van Weerdenburg, a Dutch computer scientist (for lack of a better description). I got my M.Sc. in Computer Science at the Eindhoven University of Technology (TU/e) in 2004. In the period of 2004-2008 I stayed at the TU/e as a Ph.D. student (under the supervision of Jan Friso Groote and Michel Reniers). On April 1, 2009 I obtained my Ph.D.

During my time as a Ph.D. student I researched various topics such as (timed) process algebra, structural operational semantics and implementation of rewrite systems. I also spent quite some time as one of the core developers of the mCRL2 toolset.