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 AI, have a strong record in mathematics and/or computer science, and are interested in doing a postdoc, PhD, thesis project, or internship with me and my team: please send an email with your CV and (most importantly) a letter of motivation.