Associate Professor/
FNU Steno Research Fellow

IT University of Copenhagen
Rued Langgaards vej 7
2300 Copenhagen
Denmark

T.+45 7218 5067
@: (νx)(x‹carbonem› | x(y). y @itu.dk )

Nerdy stuff. In order to get my email address, you have to apply the following π rule (for x∉fn(P)):

(νx)(x ‹z› | x(y).P) → P[z/y]

Short Bio
(my CV here - September 2011)

I'm an Associate Professor at ITU since June 2010. In 2011-2013, I'll be a FNU Steno Research Fellow working on the project CHORDS (CHOReography-Driven programming and Security). I am an invited expert in the W3C WS-CDL Working Group since 2005.

Previosuly, I was an Assistant Prof. at ITU and a post-doc at Imperial College London and QMUL (with Honda and Yoshida). In 2005, I received a PhD in Computer Science (“Trust and Mobility”) from BRICS, Aarhus University supervised by Prof. M. Nielsen.

Activities