Uppsala universitet
 Automated Verification
 Synchronization Modeling
 Model Generation and Testing
Contact info
UPPSALA UNIVERSITET: Information Technology

Bengt Jonsson
Professor in Computer Systems

Email: bengt.jonsson [at] it dot uu dot se
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, and security.


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.

SSIoT 2019
IEEE EuroSP Workshop on Software Security for IoT
Co-located with IEEE EuroSandP 2019 16 June 2019, Stockholm -->


Some activities (under construction)
Ph.D. Students:
  Hooman Asadian, Sarbojit Das, Magnus Lång Cong Quy Trinh, Fredrik Tåkvist,
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
Past Projects:
CoDeR-MP, Computationally Demanding Real-Time Applications on Multicore Platforms
ProFun, A Programming Platform for Future Wireless Sensor Networks
CONNECT, a project on synthesis of networked components.

Current Courses:
Model Based Development of Embedded Systems

Some links
  Summer Schools
  Interesting Conferences
  Verification Tools

I enjoy Piano Playing and Orienteering

To be added

Last updated 15 April 2007. Responsible: Bengt Jonsson. Web: Contact.
Copyright 2006 Uppsala University, Department of Information Technology.