Prof. Clemens Dubslaff

© privat

Master Computational Logic, 2010

PhD: "Quantitative analysis of configurable and reconfigurable systems", TUD, 2021

What do you do today?

I have been a professor at Eindhoven University of Technology at the Cluster for Formal Systems Analysis since 2022.
Safety-critical systems - such as medical devices or self-driving cars - must function reliably so that nobody gets hurt. That's why I research and teach so-called formal methods, which can be used to check at an early stage whether a computer program contains errors or whether certain problems are guaranteed not to occur. In this way, risks can be identified and avoided before the systems are used in reality.

Why did you decide to study computer science?

Mathematical concepts can be applied directly in computer science. For example, you can prove that certain problems cannot be solved by a computer. Statistical methods in machine learning and artificial intelligence are also based on the theoretical foundations of computer science. I already enjoyed mathematics at school and then found the right practical motivation to apply it in computer science.

Why did you study at the TU Dresden?

There were several reasons. The beautiful city with its culture, the real chance of finding an apartment, friends and the wide range of courses on offer, which I was able to get to know at the university information day before choosing my course.

What do you particularly remember about your time at university?

The wide range of courses on offer - general studies, university sports, music and the Computational Logic degree program with its excellent supervision ratio, interesting lectures and many opportunities to study abroad.

What happened after your studies?

After completing my Master's degree, I worked as a Research Associate at TU Dresden and the CeTI Cluster of Excellence. At the Chair of Algebraic and Logical Foundations of Computer Science under the supervision of Professor Christel Baier, I received my doctorate in 2021 on the topic of "Quantitative Analysis of Configurable and Reconfigurable Systems". I then continued my research as a postdoc and have been an assistant professor at the Cluster for Formal Systems Analysis at Eindhoven University of Technology since 2022."

What are your hobbies?

To balance out my work, I go swimming and sing in a choir.