KiKIT participate in ESSS 2024

Core-Informatics is participating in ETAPS 2024 Extended Stay Support Scheme (ESSS). The following groups are looking forward to your research stay:

Alexander von Humboldt Professorship for Logic of Autonomous Dynamical Systems
Prof. Andre Platzer
Application-oriented Formal Verification
Prof. Bernhard Beckert
Test, Validation and Analysis of Software-Intensive Systems

Prof. Ina Schaefer
Modeling and Analysis in Mobility Software Engineering

Prof. Maike Schwammberger

If you're interesting in a research stay feel free to contact the head of the group directly.