FACS 2022


Ina Schaefer

Ina Schaefer's photo

Short bio

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?

Abstract: tba.

More Information: