Hoppa till huvudinnehållet
Institutionen för informationsteknologi

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 ÅNG 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, Docent

Kontakta katalogansvarig vid den aktuella organisationen (institution eller motsv.) för att rätta ev. felaktigheter.

Senast uppdaterad: 2021-03-09