Department of Information Technology
Department of Information Technology
Uppsala UniversityInformation TechnologySearch for staff
Denna sida på svenska
Listen

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ägen 2, hus 1
752 37 UPPSALA
Postal address:
Box 337
751 05 UPPSALA
Download contact information

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

Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.

Print