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.
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.