[[17/01/2011]]
- 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
project.
[[28/06/2010]]
- Since June 15, 2010 I'm an Associate Professor at the IT
University of Copenhagen.
[[26/03/2010]]
- www.sessiontypes.org
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
for PLACES'10,
a workshop part of ETAPS 2010.
.
[[29/01/2010]]
- www.sessiontypes.org
has been down for a while now but it will be fixed
soon.
During Spring 2010, I will be teaching the
course Algorithms
and Data Structures (BADS) together
with Andrzej
Wasowski.
[[30/07/2009]]
- 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
version here.
[[30/04/2009]]
- www.sessiontypes.org is up!