Bengt Jonsson

Bengt Jonsson is a Professor at the Division of Computer Systems, Department of Information Technology, Uppsala University. His research focuses on formal methods, real-time and distributed systems, semantics and verification of concurrent systems, and IoT security.

• Current Projects: UPMARC (Software Technology for Multicore Programming), aSSIsT (Secure Software for IoT), and Designed for UPDATE (Safe Embedded Software Updates)
• Past Projects: CoDeR-MP (Multicore Real-Time Applications), ProFun (Wireless Sensor Networks), CONNECT (Networked Component Synthesis)

His work includes automated verification, model checking, and symbolic execution for concurrent systems. Recent publications address dynamic partial order reduction, IoT protocol testing, and lock-free data structures.

Scientific Awards:

• CAV Award 2017

He advises PhD students and teaches courses like Model-Based Development of Embedded Systems and graduate-level symbolic execution. Personal interests include piano playing and orienteering.