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, verification and testing of concurrent systems,
M.Sc. projects available: Testing a new Security Protocol for IoT
CAV Award 2017
Ph.D. course on symbolic execution starts February 10, 15.15 - 17.00, 2021.
Reading group on software testing and fuzzing starts February 28, 2019.
IEEE EuroSP Workshop on Software Security for IoT
Co-located with IEEE EuroSandP 2019 16 June 2019, Stockholm
Some activities (under construction)
Cong Quy Trinh,
Member of the Security Arena at the Dept. of IT
Designed for UPDATE, safe update of embedded software.
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