Skip to main content
Back to KTH start page

Ingo Sander

Profile picture of Ingo Sander

Professor

Details

Telephone
Address
ISAFJORDSGATAN 26, HISS B3 VÅN

Researcher

Researcher ID

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