UPPSALA UNIVERSITET: Information Technology

Bengt Jonsson
Professor in Computer Systems

Email: bengt.jonsson [at] it dot uu dot se

Phone: +46 - 18 - 471 3157

Research
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.

NEW

M.Sc. projects available: Testing a new Security Protocol for IoT

CAV Award 2017

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

Publications

Some activities (under construction)
Ph.D. Students:
Hooman Asadian, Samuel Grahn, Magnus Lång Fredrik Tåkvist,
Member of the Security Arena at the Dept. of IT
Projects:
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.

Past and Current Courses:
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.
Model Based Development of Embedded Systems

Some links
Summer Schools
Interesting Conferences
Verification Tools

Personal
I enjoy Piano Playing and Orienteering

Family
To be added

Bengt Jonsson Professor in Computer Systems

Bengt Jonsson
Professor in Computer Systems