Dominik studied Computer Science (Master) at the Brandenburgische Technische Universität in Senftenberg. He then started working as a part-time researcher at Technische Universität Chemnitz, where he was concerned with a holistic approach for the economic evaluation of process chains. After, he joined the IoSense project, funded by the EU under Horizon 2020, to develop a software toolkit for sensor pilot lines, before he joined his research group at CeTI.
Within CeTI, Dominik studies process calculi In connection with the development of model-based programming paradigms that allow the formal verification of conceptual business logic specifications to facilitate “correctness-by-design”.
Projects/Cooperation within CeTI you are involved in:
CeTI rooms within CeTI you are involved:
What do you value most about your work at CeTI?
The multi-faceted interdisciplinary nature of this project and the possibility to research on foundational matter.
What was your best moment at CeTI so far?
To celebrate the jubilee of 50 years of computer science education in Dresden by contributing a distributed immersive robot demonstrator with a cool team.
What else would you like to research?
On AI-driven code audit techniques and semi/fully automatic methods that can „train“ software like dogs to not write code at all.
How do you spend your spare time?
Nature, Cooking, Sports and Friends.