I am a computer scientist by trade and doing research & development and teaching in the area of open dependable systems. I have a particular interest in sustainable & 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)
Active & UpcomingIn SS25, I take a pause from teaching. Further iterations of Hands-On Dependability and full course on Sustainable Computing Systems are considered.
PreviousIndependent
Telecommunications Lab (Saarland University)
By default, I'm supervising nowadays. In some cases, I act as
Currently (Post-PhD at Dependable Systems and Software)
Finished (chronological order)
Fraunhofer Institute for Experimental Software Engineering IESE
Telecommunications Lab (Saarland University)
Pre-PhD: i.e. all as advisor, not supervisor.
Organizer
Maintainer
Contributor or Mentor
You can find my publications in this list, as well as on dblp, Google Scholar, and arXiv:
