I am a computer scientist by trade and doing research & development and teaching in the area of open dependable cyber-physical systems. I have a particular interest in dependable software engineering, computer networking and open source.
I was born at 356ppm and care about sustainability.
I do research concerned with the following topics:
(you find a full list of publications below)
As of today, most industrial-grade programming and communication systems lack first-class support for non-functional aspects (such as latency demand, energy demand, carbon emissions, ...). This includes both measuring, optimizing, and enforcing (at runtime) as well as arguing about the overall system integration (at design/compile time). Our work aims at bringing holistic resource-awareness across computation and communication stacks.
The fourth industrial revolution (I4.0) puts computation at the heart of production systems. These industries have high requirements with respect to (worker) safety assurance and (product) quality assurance. In practice, this often involves various informal, non-generalizable, paper-based processes arguing about safety/quality. Our work is concerned with making these assurance activities more formal, more generalizable (i.e. modular, composable), as well as truly digital.
The hype around machine learning approaches aside, there is potential in applying it in carefully chosen scenarios. In our work, we apply machine learning to problems involving dependable systems and networking, where traditional approaches failed (either due to computational complexity or lack of formal models). We do so in a informed manner, i.e. we refrain from building black-boxes and ignoring domain knowledge. Instead, we attempt to build hybrid solutions, using domain-knowledge where possible and only resorting to machine learning where appropriate.
My (more or less relevant) scientific numbers are:
I have been honoured to publish together with the following co-authors:
Besides these public funded projects, I also contributed to undisclosed industrial projects.
Dependable Systems and Software Chair (Saarland University)
Independent
Telecommunications Lab (Saarland University)
Students where I acted as reviewer are marked with .
Dependable Systems and Software (Saarland University)
Fraunhofer Institute for Experimental Software Engineering IESE
Telecommunications Lab (Saarland University)
You can find my publications in this list, as well as on dblp, Google Scholar, and arXiv:
