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. At TU Braunschweig (Germany) I work as professor heading the group of Formal Methods for Trustworthy Systems and AI. My further affiliations are the TU Eindhoven (Netherlands) and CPEC, the Center for Perspicuous Computing.

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 TU Dresden (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. Before joining TU Braunschweig, I have been Assistant Professor at TU Eindhoven (Netherlands).

Open Positions. Are you passionate about formal methods, with a strong background in mathematics and/or computer science, and would you like to join my team? Then send me an email with your CV and a brief, personalized motivation letter. Due to the high volume of applications, I can only respond to candidates whose profile closely matches the openings.