Bengt Jonsson
Professor i datorteknik 92 vid Institutionen för informationsteknologi; Datorteknik
- Telefon:
- 018-471 31 57
- Mobiltelefon:
- 070-425 02 40
- E-post:
- Bengt.Jonsson@it.uu.se
- Besöksadress:
- Hus 10, Lägerhyddsvägen 1
- Postadress:
- Box 337
751 05 UPPSALA
- Akademiska meriter:
- FD, Docent
Mer information visas för dig som medarbetare om du loggar in.
Kort presentation
Denna text 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