Since 2014 managing partner (Geschäftsführender Teilhaber) at Intec Software Engineering PGmbH, St. Vith, Belgium and Inteclux Software Engineering SA, Weiswampach, Luxemburg. I am in charge of our software development unit (15+ developers and summer interns). Before joining Intec, I worked in academia at the University of Namur on a scholarship from the FNRS (National Fund for Scientific Research). I hold a PhD in Computer Science from the University of Namur (2011). My dissertation is titled "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. The principal topics I worked on were formal modelling and model checking of behaviour in software product line engineering, as well as the design and implementation of a textual feature modelling language called TVL.I speak English, German and French.Specialties: Analysis and functional specification, technical writing, web application development, distributed systems, SQL, formal verification
Listed skills include Software Engineering, Software Development, Computer Science, Sql, and 41 others.