I'm an Associate Professor at
Science Department, IT University of Copenhagen.
Since 2018, I am also head (linjeleder) of
the MSc. in
Computer Science study programme. Formerly, 2014-18, I
was heading the MSc. in Software Development.
I'm a member of
the Programming, Logics and
Semantics research group and
the Center of Information Security
Before joining ITU, I was a post-doc
at Imperial College
London and QMUL
and Yoshida). In
2005, I received my PhD in Computer Science (“Trust and
Mobility”) from BRICS,
Aarhus University supervised by
Research Interests. My core research interests
are within applications of semantics, type theory,
and linear logic to concurrency. In particular, I'm
an expert in the pi-calculus concurrency model,
session types (I'm one of the authors
session types), and choreography models.
I'm mainly a theoretician, but, in recent years, I have developed
a strong interstest in applications of my theoretical work. In
particular, I'm interested in the design and usage of (extensions
of) programming languages that make strong use of session types
and choreographic specifications for safety of critical
The most (and very) up-to-date page is my
ITU publication page is updated once a year. For old stuff,
Some Relevant Activities.
W3C WS-CDL Working Group
(PC & Organiser),
School '07 (Lecturer).
Agata Murawska (2017-18, postdoc)
Fabrizio Montesi (2011-14, PhD student)
Tijs Slaats (2009-12, PhD student, co-supervised)