Johan Bengtsson

---

Work

I am a lecturer at the Department of Information Technology at Uppsala University I am working with professor Wang Yi, and my current research concerns Modelling and Analysis of Real-Time Behaviour. In particular, I'm working on UPPAAL.

Teaching

• Distributed systems TF/Distance
• Distributed information systems STS
• Real-time systems TF/EIP
• Computer systems DV

---

To get in touch with me

Email:
        johanb@DoCS.UU.SE

        PGP-key: 890380A293B62717 1721FBCFDFE161AF

Phone:
	+46 18 - 4713165	

SnailMail:

	Department of Information Technology
	Box 337
	SE-751 05 Uppsala	
	Sweden
      

---