|Address:||Computing Science Division
Department of Information Technology
SE-751 05 Uppsala
|Visit:||ITC building 1, floor 1, room 1135|
|Phone:||+46 18 - 471 3169|
|Mobile:||+46 70 425 02 39|
|Fax:||+46 18 511925|
|Web:||Personal web page|
My research in formal methods involves calculi for mobile processes.
I am the Ph.D. co-advisor of Ramunas Gutkovas, Palle Raabjerg, Johannes Åman Pohjola and Frédéric Haziza. I was the advisor of Magnus Johansson (graduated May 2010) and Kidane Yemane (graduated January 2006), and the co-advisor of Jesper Bengtsson (graduated June 2010).
I run projects in ProFun, funded by the Swedish Foundation for Strategic Research 2009-2013, and in UPMARC, a Linnaeus centre funded 2008-2017. I am a member of the Management Committee of BETTY (Behavioural Types for Reliable Large-Scale Software Systems), an EU-funded COST Action 2012-2015.
I teach secure computer systems, technical writing and presentation skills, and have taught operating systems, computer networks (also at advanced level), and cryptography.
|Name||Course Homepage||Program||Start Info|
|Independent project in information engineering, 15 hp||itarbete_uppsatsmet||IT||March 25 at 15.15 in P2446|
|Secure computer systems I, 5 hp||sakdat||DVM, FRI, IT||Jan 22 at 15.15 in P1211|
|Technical writing and presentation techniques, 5 hp||itarbete_uppsatsmet||IT||March 25 at 15.15 in P2446|
I am the Dean of Engineering Education, and member of the faculty board of the faculty of Science and Technology.
I am a member of the council for the Student Portal and member of the faculty marketing group.