]
]
]
]
Membre du personnel
Andreas CLASSEN
PhD Student (FNRS)
Since October 2007 I am a PhD student (FNRS research fellow) in the Faculty of Computer Science at the University of Namur (FUNDP) in Belgium. I finished my MSc in June 2007 and was awarded a scholarship by the Belgian National Fund for Scientific Research (FNRS). The working title of my PhD thesis is "Problem-Oriented Modelling and Verification of Software Product Lines", it is supervised by Prof. P. Heymans and Prof. P.-Y. Schobbens. My research interests include software product line engineering, feature modelling, and formal verification methods (esp. model checking).
I am currently mainly working on the following two topics:
- Formal modelling and model checking of behaviour in software product line engineering. We proposed a modelling language called FTS (Featured Transition Systems). More info is available on the FTS website.
- Design and implementation of a textual feature modelling language called TVL. More info is available on the TVL website.
Téléphone: 081/724985
Fax: 081/724967
Mail:
Web: Autre site personnel
Charges aux FUNDP
- Faculté d'Informatique (Aspirant FNRS)
- Pôle sémantique, logique et calcul (PhD Student (FNRS))
- PReCISE Research Center (PhD Student (FNRS))
Diplômes
- Master in Computer Science, Summa cum laude, 2007, FUNDP
Domaines de compétences
- Software engineering
- Formal verification
- Requirements engineering
- Software product lines engineering
- Feature diagrams
- Problem frames
Charges externes
- Teaching assistant for the requirements engineering course (INFO M431)
- Project lead and developer for an internal student project management/evaluation tool (called "Automate", mainly for courses INFO B314 and IHDC B332)
