Bengt Jonsson
professor at Department of Information Technology, Division of Computer Systems
- Email:
- Bengt.Jonsson[AT-sign]it.uu.se
- Telephone:
-
+4618-471 3157
- Mobile phone:
-
+46 70 4250240
- Visiting address:
- Room
ITC 1435 ITC, Lägerhyddsv. 2, hus 1
- Postal address:
- Box 337
751 05 UPPSALA
Short presentation
I am a professor of Computer Systems at the department of Information Technology. 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. For more information, please visit my
personal home page
Also available at
Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.