Welcome. I am Clemens Dubslaff.

I am a computer scientist who teaches and conducts research in formal methods with their applications in software engineering and artificial intelligence. My affiliation is the Eindhoven University of Technology (Netherlands) where I work as an assistant professor in the Formal System Analysis group. I am also member of the Center for Perspicuous Computing (CPEC), a collaborative research center on explainability and trustworthiness funded by the DFG.

Research Topics. My research interests span formal methods for developing and assuring dependable computing systems, with particular focus on explainable formal methods and artificial intelligence, configurable systems analysis, and symbolic methods.

Brief CV. After studying mathematics and computer science at Dresden University of Technology (Germany), I obtained a double Master degree in Computational Logic together with NOVA University Lisbon (Portugal). I earned my PhD in formal methods under the supervision of Christel Baier.

Open Positions. If you are passionate about formal methods and interested in joining my team, please send an email with your CV and a short letter of motivation. Usually, I am replying in case you wrote the application by yourself (not Claude, Gemini, or other great authors), there is a topic-wise fit, and you have a strong record in mathematics and/or computer science.