Email
Telefon: +49 351 463 37857
Google Scholar
Dominik Grzelak
Dominik studierte Informatik (Master) an der Brandenburgischen Technischen Universität in Senftenberg. Anschließend arbeitete er als wissenschaftlicher Mitarbeiter an der Technischen Universität Chemnitz, wo er sich mit einem ganzheitlichen Ansatz zur wirtschaftlichen Bewertung von Prozessketten beschäftigte. Danach nahm er an dem von der EU im Rahmen von Horizon 2020 geförderten Projekt IoSense teil, um ein Software-Toolkit für Sensor-Pilotlinien zu entwickeln, bevor er zu seiner Forschungsgruppe am CeTI wechselte.
Im Rahmen von CeTI untersucht Dominik Prozesskalküle im Zusammenhang mit der Entwicklung modellbasierter Programmierparadigmen, die die formale Verifizierung konzeptioneller Geschäftslogikspezifikationen ermöglichen, um "correctness-by-design" zu erleichtern.
Veröffentlichungen:
Projekte/Kooperationen innerhalb von CeTI, an denen Sie beteiligt sind:
TP5, U2
CeTI-Räume innerhalb von CeTI, an denen Sie beteiligt sind:
TP5, U2
Further Questions:
Was schätzen Sie an Ihrer Arbeit bei CeTI am meisten?
Der vielschichtige interdisziplinäre Charakter dieses Projekts und die Möglichkeit an grundlegenden Themen zu forschen.
Was war Ihr bisher schönster Moment bei CeTI?
Die Feier des Jubiläums von 50 Jahren Informatikausbildung in Dresden mit einem verteilten immersiven Roboterdemonstrator und einem coolen Team.
Woran würden Sie gerne noch forschen?
Über KI-gesteuerte Code-Audit-Techniken und halb- bzw. vollautomatische Methoden, mit denen Software wie Hunde darauf "trainiert" werden kann, überhaupt keinen Code zu schreiben.
Wie verbringen Sie Ihre Freizeit?
Natur, Kochen, Sport und Freunde treffen.
Veröffentlichungen
1. | A bigraphical vending machine as a webservice (Dokumentation) 2023. |
2. | Bigraphical domain-specific language (BDSL) (Dokumentation) Technische Universität Dresden 2021. |
3. | A canonical string encoding for pure bigraphs (Artikel) In: SN Computer Science, Bd. 2, Nr. 4, S. 246:1–14, 2021. |
4. | Tactile computing: Essential building blocks for the Tactile Internet (Buchkapitel) In: Fitzek, Frank H. P.; Li, Shu-Chen; Speidel, Stefanie; Strufe, Thorsten; Şimşek, Meryem; Reisslein, Martin (Hrsg.): Tactile Internet with Human-in-the-Loop, Kapitel 13, S. 301–326, Academic Press, 2021. |
5. | Human–robot co-habitation in industry (Buchkapitel) In: Fitzek, Frank H. P.; Li, Shu-Chen; Speidel, Stefanie; Strufe, Thorsten; Şimşek, Meryem; Reisslein, Martin (Hrsg.): Tactile Internet with Human-in-the-Loop, Kapitel 3, S. 41–75, Academic Press, 2021. |
6. | Immersives verteiltes Robotic Co-working (Artikel) In: Informatik Spektrum, Bd. 43, Nr. 4, S. 425–435, 2020. |
7. | Preparatory reflections on safe context-adaptive software (Position paper) (Proceedings Article) In: Proceedings of the International Conference on Internet of Things, Big Data and Security (IoTBDS), 2020. |
8. | Towards interaction design for mobile devices in collocated mixed-focus collaboration (Buchabschnitt) In: Stephanidis, Constantine; Antona, Margherita (Hrsg.): HCI International 2020 – Posters, Bd. 1224, S. 35–43, Springer, 2020. |
9. | Bigraphical meta-modeling of fog computing-based systems (Proceedings Article) In: Proceedings of the International Conference on Discrete Models of Complex Systems (SOLSTICE), 2019. |