Bengt Jonsson

I am a professor at the Department of Computer Systems at Uppsala University.

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.

Current research projects (incomplete list)

• Automated Verification of Distributed Systems.
• Automated Testing
• Feature interaction in telecommunication services.

Information about my work

• Graduate Students: Therese Berg, Johan Blom, Olga Grinchtein,
  Anders Hessel, Marcus Nilsson, Jan Nyström.
• ASTEC, A Competence Center on Advanced Software Technology
• ARTIST, an initiative on Real Time Systems
• GAMES, A research training network.
• Research Papers Chronologically, By Topics,
• Course Involvement

Some links

• Interesting Graduate Courses
• Interesting Summer Schools
• Interesting Conferences
• Interesting Seminar Series
• Interesting Tools
• Musik
• Pictures (by Gustaf Naeser) from the workshop Reactive Systems and Model Checking, from concept to tool,
  in honour of Amir Pnueli, May 27-28, 1997, Uppsala.
• Conference Organization Involvement

---

Email: bengt@docs.uu.se
Address: Dept. of Computer Systems, Box 337, S-751 05 Uppsala, SWEDEN
Phone: office: +46 18 4713157. mobile: +46 70 4 250 240 Fax: +46 18 550225.