Professor in Computer Systems
Email: bengt.jonsson [at] it dot uu
Phone: +46 - 18 - 471 3157
My main research interests are in the areas of formal methods,
especially in connection with real-time and
distributed systems, semantics of concurrent systems,
and verification of concurrent systems.
2 Ph.D. Positions on Software Security
The topic for the positions is to develop techniques for detecting and removing security vulnerabilities in software, and applying these techniques in software for IoT devices. The positions are funded by the newly awarded
CAV Award 2017
Some activities (under construction)
Cong Quy Trinh,
aSSIsT, Secure Software for the IoT
UPMARC, A Center of Excellence on Software Technology for Multicore Programming
Computationally Demanding Real-Time Applications on Multicore Platforms
A Programming Platform for Future Wireless Sensor Networks
CONNECT, a project on synthesis of networked components.
Model Based Development of Embedded Systems (autumn 2017)
To be added
|Last updated 15 April 2007. Responsible:
Bengt Jonsson. Web: Contact.
Copyright © 2006 Uppsala University, Department of Information