Research

I'm working on extended pi calculi and symbolic semantics for them. Please visit the page about our research in mobile processes to see what other things are going on.

Teaching

I currently have no teaching obligations. Below are some links to previous teaching.

Fall 2007: Secure computer systems: Secure computer systems 1DT009.

Spring 2007: I've been teaching two courses on operating systems: Operating Systems 1DT700 and Operating Systems 1TT802/1DT632.