Bengt Jonsson
Professor at Institutionen för informationsteknologi; Datorteknik
- Telephone:
- +46 18 471 31 57
- Mobile phone:
- +46 70 425 02 40
- E-mail:
- Bengt.Jonsson@it.uu.se
- Visiting address:
- Hus 10, Lägerhyddsvägen 1
- Postal address:
- Box 337
751 05 UPPSALA
More information is available to staff who log in.
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