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.
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
To be added
|Last updated 15 April 2007. Responsible:
Bengt Jonsson. Web: Contact.
Copyright © 2006 Uppsala University, Department of Information