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.
NEW: CAV Award 2017
Multicore Day 2017
Kista, Stockholm. Nov. 29.
10th Swedish Workshop on Multicore Computing, in Uppsala
November 30 - Dec 1,
M.Sc. project available: Practical Application of Systematic Concurrency Testing
Some activities (under construction)
Cong Quy Trinh,
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