Associate Professor/
Head of MSc Programme in Software Development

IT University of Copenhagen
Rued Langgaards vej 7
2300 Copenhagen

T.+45 7218 5067
@: (νx)(xcarbonem› | x(y). y )

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

I am an Associate Professor at ITU since June 2010. In 2011-2013, I was 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.

(my CV here - September 2012)

ICE'13 (PC co-chair), PLACES'12 (PC member), ICE'12 (PC co-chair), W3C WS-CDL Working Group (Invited Expert), (Past) WS-FM'11 (PC co-chair), (Past) PLACES'11 (PC member), (Past) ICE'11 (PC member & Organiser), (Past) PLACES'10 (PC member), (Past) ICE'09 (PC member), (Past) EXPRESS'09 (PC member), (Past) SFM-09:WS School (Lecturer), (Past) ICE'08 (PC member), (Past) BPESO School '07 (Lecturer)

Projects: CHOReography-Driven programming and Security (CHORDS), Behavioural Types for Reliable Large-Scale Software Systems (BETTY)

PhD Students: Fabrizio Montesi

Student Opportunities: Project Proposals (Bsc/Msc Projects, Other Projects)