Ph.D. in Computer Science
Address: Department of Computer Science, Faculty of Science, Radboud University
Heyendaalseweg 135, 6525 AJ Nijmegen, The Netherlands
Office 02.534, tel. (+31)(0)24 36 52 613
Fo lo manto al caco macaco
e'l truffo sgarruffo a lo spino del baco
(Marius, poeta efficace)
EADS Prix de la Meilleure Thèse 2008
- 1 jul: I moved my webpage to LIPN because the previous server burned into flames. Please do not use my dsi.unive.it address!
- 10-15 jun: I am in the Rocky Mountains to attend FMCS11 and explain the resource calculus to the bears.
- 28 may: I wrote two contributions (together with Barendregt and Plasmeijer) for the Turing Centennial 2012. Don't miss it!
- 30 mar: I will give an invited talk about differential categories at FMCS11 (Canada).
- 15 feb: I recently submitted three new papers... have a look!.
- 4-13 feb: I am in Bath for a collaboration with Guy McCusker and Jim Laird.
- 20 nov-28 nov: I am in Paris, visiting the laboratory LIPN of Paris 13.
- 26 oct: The new website of CALMOC NWO Project, is online. Check it!
- 19-24 oct: I am in Lyon visiting the laboratory LIP at Ecole Normale Superieure.
- 23-38 aug: I attended MFCS'2010 in Brno, Czeck Republic. I have been invited to submit a journal version of the paper on MLF.
If you're wondering how my face is here there is the answer (here with my hat).
Otherwise if you prefer to imagine me as a cartoon you are allowed (another version).
Thanks to Arianna Gallo for these two caricatures and to Federico Nardo for the one on the right.
Page maintained by Giulio Manzonetto