Ina Schaefer is a full professor of Software Engineering at Karlsruhe Institute of Technology (KIT), Germany. She received a PhD from Technische Universität Kaiserslautern in 2008. She was professor for Software Engineering and Automotive Informatics at TU Braunschweig from 2012-2022. Her main research interests are in the intersection of software engineering and formal methods, particularly focussing on correctness-by-construction development and quality assurance for software-intensive and variant-rich systems.
Correctness-by-Construction Engineering - Can we build better software?