Jan Baumeister

Jan Baumeister is a PhD student at CISPA Helmholtz Center for Information Security in Germany, advised by Bernd Finkbeiner. He received his Bachelor's and Master's degrees from Saarland University (Germany). Jans' work focuses on improving cyber-physical systems' safety by monitoring the system's health at runtime. His research concentrates on synthesizing efficient monitors, integrating them into real-world safety-critical applications, and providing methods to certify the framework. For this, he co-develops the RTLola framework and works closely with the German Aerospace Center in Brunswick.