I teach computer security and technical writing/presentation, and do research in theory of distributed and parallel computing.
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.
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.