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

NEW
  M.Sc. projects available: Finding Weak Memory Model bugs using the SIMICS Simulator
Comparison of tools for Model Based Tesing (at Ericsson)
Open Positions
  Ph.D. and M.Sc. projects
Some activities (under construction)
Ph.D. Students:
  Johan Blom, Sofia Cassel, Cong Quy Trinh, Carl Leonardsson, Jonathan Lindén Pan Xiaoyue
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.
ARTISTDesign, a Network of Excellence on Embedded Systems Design
GAMES, A research training network.
CREDO, A European research project.

Some links
  Summer Schools
  Interesting Conferences
  Verification Tools

Personal
I enjoy Piano Playing and Orienteering

Family
To be added

---

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