Jan Carlson, Senior Lecturer

Jan Carlson is a senior lecturer at IDT. He received his M.Sc. degree in Computer Science from Linköping University in 2000, and his doctoral degree from Mälardalen University in 2007 with the thesis entitled "Event Pattern Detection for Embedded Systems". Research interests include component models for embedded systems, event pattern detection, formal methods and functional and logic programming languages.

Research interests include component- and model based development of embedded systems, event pattern detection and formal methods.