From September 2003 until August 2009 I have worked at the department of Mathematics and Computer Science of the Technical University Eindhoven, doing research at the Design and Analysis of Systems (OAS) group and performing case studies at the Laboratory for Quality Software (LaQuSo). More information on these activities: