Manzonetto Giulio

(λx.gmanzonexdsi.unive.it)@
Ph.D. in Computer Science
Post-doc Collodi
Address: LIPN - Institut Galilée, Université Paris-Nord, 99, av. Jean-Baptiste Clément, 93430 Villetaneuse
Office A203, tel. (+33)(0)1 49 40 44 43.

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

News

29 jan: I'm giving a nice talk on resource calculi at ParSec meeting.
04 dec: A funny (non-technical) video explaining the results of my thesis is now available online (in French).
30 nov-2 dec: I am in Torino, visiting the group Formal Methods in Computing.
01 nov: Today I start a post-doc at LIPN - Paris 13 , Collodi Project.
01 oct: My paper "Effective λ-models versus recursively enumerable λ-theories" has finally been published in Mathematical Structures in Computer Science.
31 aug: I'm in Edinburgh to visit some scottish castles and give a talk (scheduled on Thursday 3 September).
23-28 aug: I'm in Poprad to attend MFCS09. My talk is scheduled on Wednesday 26 August.
10-19 aug: I'm in Abruzzo for some holidays. In this period I will have a limited Internet connection.
4 jun: I participated to the Meeting Théorie des modèles et lambda-calcul in honour of Chantal Berline.
30 may: My papers "Lattices of Equational Theories as Church Algebras" and "A general class of models of H*" have been accepted in PLS7 and MFCS09, respectively!

News Archive.

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.

Manzonetto Giulio

EADS Prix de la Meilleure Thèse 2008

News

Teaching

Research

Curriculum

Spare Time