Welcome to Andreas' Homepage
Hello and welcome to the personal homepage of Andreas Classen.
I am a software engineer and currently work at Intec Software Engineering. I obtained a PhD in October 2011 from the University of Namur (FUNDP) in Belgium. The title of my dissertation is "Modelling and Model Checking Variability-Intensive Systems". It describes an approach for model checking in the context of product lines, where each product is specified in terms of its features. It was supervised by Prof. P. Heymans and Prof. P.-Y. Schobbens.
On this page you will find all common things, like a CV, publications, a blog and links to my friends. If you have questions or comments, feel free to send me an email. If it passes the spam-filter, I'll certainly answer.
All photographs on the page were taken by me. Locations depicted on these photographs are Paris (in 2005), Brussels (in 2006), Bletchley Park, Limerick, Porto, Braga (all in 2007), Budapest, Bonn and Leipzig (all in 2008). The displayed image is chosen randomly, you can use the following links to browse through them (non randomly):
-- Hope you enjoy the visit