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 ITC 1435 ITC, Lägerhyddsvägen 2, hus 1
752 37 UPPSALA
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

Mina kurser

Publikationer

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