Current and past research project at the KIT.
About the Alexander von Humboldt Professorship.
The Alexander von Humboldt Professorship, Germany’s most highly endowed international research award, is endowed with up to five million euros. With this award, the Alexander von Humboldt Foundation honors internationally leading researchers of all disciplines who have previously worked abroad. They are expected to conduct forward-looking research at German universities in the long term. The money is earmarked for the first five years of research in Germany.
Self-driving cars, autonomous robots, modern airplanes, or robotic surgery: we increasingly entrust our lives to computers and therefore should strive for nothing but the highest safety standards - mathematical correctness proof. Proofs for such cyber-physical systems can be constructed with the KeYmaera X prover. As a hybrid systems theorem prover, KeYmaera X analyzes the control program and the physical behavior of the controlled system together in differential dynamic logic.
KeYmaera X features a minimal core of just about 2000 lines of code that isolates all soundness-critical reasoning.