- Cool news! Since January 2011, for 3 years, I'm a FNU
Research Fellow. The fellowship, granted by the Danish
Agency for Science Research and Innovation, will focus on
the CHORDS project, acronym for CHOreography-Driven
programming and Security. Soon further updates on the
- Since June 15, 2010 I'm an Associate Professor at the IT
University of Copenhagen.
is still down and I haven't had the time to fix
it. Hopefully, I will handle it before Easter holidays.
Also, I have just been to Cyprus
a workshop part of ETAPS 2010.
has been down for a while now but it will be fixed
During Spring 2010, I will be teaching the
and Data Structures (BADS) together
- I'm currently on paternity leave as I became father for
the second time (that's definitely hard). On the serious
side, Joshua Guttman and I just got a paper accepted for
publication at ICE'09. You can find a preliminary
- www.sessiontypes.org is up!