Ingo Sander is a professor in Electronic Systems Design. His main research interests are design methodologies for embedded systems that can provide service guarantees for the final implementation. His current work aims towards a correct-by-construction design flow for mixed-criticality applications on shared multiprocessor platforms. He is the creator and main contributor of ForSyDe (Formal System Design), a design methodology for embedded systems, which has a formal foundation in form of models of computation (MoCs) and covers the whole design process from specification to the final implementation.
Ingo Sander received the MSc degree in Electrical Engineering from the Technical University of Braunschweig, Germany, in 1990 and the PhD degree and docent degree from KTH Royal Institute of Technology, Sweden, in 2003 and 2009, respectively. Between 1991 and 1993 he has worked as system design engineer at Ericsson, Sweden. In 1993 he joined KTH, where he since January 2018 holds a position as professor in Electronic Systems Design.