Ingo Sander
PROFESSOR
Details
Researcher
About me
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.
Courses
Degree Project in Computer Engineering, First Cycle (II142X), examiner | Course web
Degree Project in Computer Science and Engineering, specialising in Communication Systems, Second Cycle (DA246X), examiner | Course web
Degree Project in Computer Science and Engineering, specialising in Embedded Systems, Second Cycle (DA248X), examiner | Course web
Degree Project in Computer Science and Engineering, specialising in ICT Innovation, Second Cycle (DA256X), examiner | Course web
Degree Project in Computer Science and Engineering, specialising in ICT Innovation, Second Cycle (DA258X), examiner | Course web
Degree Project in Computer Science and Engineering, specializing in Software Engineering for Distributed Systems, Second Cycle (DA240X), examiner | Course web
Degree Project in Electrical Engineering, specialising in Embedded Systems, Second Cycle (EA248X), examiner | Course web
Degree Project in Electrical Engineering, specialising in ICT Innovation, Second Cycle (EA256X), examiner | Course web
Degree Project in Electrical Engineering, specialising in ICT Innovation, Second Cycle (EA258X), examiner | Course web
Degree Project in Electrical Engineering, specializing in Communication Systems, Second Cycle (EA246X), examiner | Course web
Degree Project in Electronics and Computer Engineering, First Cycle (IL142X), examiner | Course web
Degree Project in Information and Communication Technology, First Cycle (II143X), examiner | Course web
Degree Project in Information and Communication Technology, First Cycle (IA150X), examiner | Course web
Degree Project in Information and Communication Technology, Second Cycle (IA250X), examiner | Course web
Embedded Software (IL2212), examiner, course responsible, teacher | Course web
Embedded Systems (IL2206), examiner, course responsible, teacher | Course web
Embedded Systems Design Project (IL2232), assistant, teacher | Course web