Bengt Jonsson
Professor i datorteknik 92 vid Institutionen för informationsteknologi, Datorteknik
- E-post:
- Bengt.Jonsson[AT-tecken]it.uu.se
- Telefon:
-
018-471 3157
- Mobiltelefon:
-
070-4250240
- Besöksadress:
- Rum POL 105177 hus 10, Lägerhyddsvägen 1
- Postadress:
- Box 337
751 05 UPPSALA
Kort presentation
Detta stycke finns inte på svenska, därför visas den engelska versionen.
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
Akademiska meriter: FD
Kontakta katalogansvarig vid den aktuella organisationen (institution eller motsv.) för att rätta ev. felaktigheter.
Senast uppdaterad: 2021-03-09