New Website

Hi, this is my new website:

  • This page contains all the news.
  • Under research you can find details about my research: projects, publications, …
  • Under teaching I provide more details about my past and current teaching activities.
  • If you are looking for topics for your thesis or guided research, you should visit supervision.
  • On page FACTum you can find more details about my approach for the axiomatic specification of dynamic architectures as well as its implementation in Eclipse/EMF.