Research
My research in formal methods involves calculi for mobile processes.
I am the Ph.D. advisor of Magnus Johansson, and co-advisor of Jesper Bengtsson, Palle Raabjerg, and Frédéric Haziza. Kidane Yemane graduated January 2006.
I run projects in ProFun, funded by the Swedish Foundation for Strategic Research 2009-2013.
I have a list of selected papers and a brief CV available.
|
Teaching
I teach secure computer systems, operating systems, computer networks (also at advanced level), and cryptography.
Current courses
Current schedule.![External link [External link]](/images/qbullets/remote.gif)
|