Associate Professor/
Head of MSc Programme in Software Development

Computer Science Department
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).

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)

  • PLACES'17 (PC)

    SAC'17-SOAP (PC), TASE'16 (PC), TGC'15 (PC), ICTAC'15 (PC), BEAT2014 (PC chair), WSFM'14 (PC), ICE'14 (PC), ICE'13 (PC co-chair), PLACES'12 (PC), ICE'12 (PC co-chair), W3C WS-CDL Working Group (Invited Expert), WS-FM'11 (PC co-chair), PLACES'11 (PC), ICE'11 (PC & Organiser), PLACES'10 (PC), ICE'09 (PC), EXPRESS'09 (PC), SFM-09:WS School (Lecturer), ICE'08 (PC), BPESO School '07 (Lecturer)

  • Behavioural Types for Reliable Large-Scale Software Systems (BETTY) (2011-2016)
  • CHOReography-Driven programming and Security (CHORDS) (2011-2013)

    PhD Students:
  • I'm currently looking for candidates. Please, write to me if you are interested in my research area.
  • Fabrizio Montesi (2010-2013)

    Bsc/Msc Projects, Other Projects: here (outdated, updates soon)