- +4618-471 3169
- Mobile phone:
- +46 70 4250239
- Visiting address:
ITC 1135 ITC, Lägerhyddsv. 2, hus 1
- Postal address:
- Box 337
751 05 UPPSALA
I teach computer security and technical writing/presentation, and do research in theory of distributed and parallel computing. I am the Dean of Engineering Education at the faculty of Science and Technology, and member of the Faculty Board.
Academic merits: FD, docent
Also available at
My research in formal methods involves calculi for concurrent mobile processes.
I was the Ph.D. co-advisor of Ramunas Gutkovas (graduated Sep 2016), Johannes Åman Pohjola (graduated Sep 2016), and Volkan Cambazoglu (licentiate 2016). I was the main advisor of Magnus Johansson (graduated May 2010) and Kidane Yemane (graduated January 2006), and the co-advisor of Jesper Bengtsson (graduated June 2010) and Palle Raabjerg (licentiate 2012).
I was in the Management Committee of COST Action IC1201, Behavioural Types for Reliable Large-Scale Software Systems (BETTY) (2012-2016). I ran projects in ProFun, funded by the Swedish Foundation for Strategic Research 2009-2015, and in UPMARC, a Linnaeus centre funded 2008-2017.
I teach secure computer systems and technical writing and presentation, and have taught operating systems, computer networks (also at advanced level), and cryptography.
I am the Dean of Engineering Education, and member of the faculty board of the faculty of Science and Technology.
I am also in the council for the Student Portal.
See a brief CV for more info.
Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.