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.
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.
Testing Concurrent and Parallel Software, 2017 (1DL570)
To be added
|Last updated 15 April 2007. Responsible:
Bengt Jonsson. Web: Contact.
Copyright © 2006 Uppsala University, Department of Information