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 of concurrent systems, and verification of concurrent systems.

NEW: CAV Award 2017
Multicore Day 2017 Kista, Stockholm. Nov. 29.
MCC 2017 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)
Ph.D. Students:
  Cong Quy Trinh, Jonathan Lindén Magnus Lång
  UPMARC, A Center of Excellence on Software Technology for Multicore Programming
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 (autumn 2017)

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.