Manzonetto Giulio.
Born 18th March in Conegliano (Treviso) - Italy.
I will be x years old in the year x2.
I live in Paris, I work in Villetaneuse.
| feb 2008 | Ph.D. in Computer Science co-tutored between: Department of Computer Science - Ca' Foscari University (Venice) and PPS - Denis Diderot University (Paris 7) PhD thesis: Models and theories of lambda calculus <pdf> <ps>. |
| oct 2004 | Laurea Specialistica in Informatica (MSc in Computer Science) at Department of Computer Science - Ca' Foscari University (Venice); vote obtained: 110/110 cum laude; MSc Thesis: Topologie e lambda calcolo. |
| oct 2002 | Laurea in Informatica (BSc in Computer Science) at Department of Computer Science - Ca' Foscari University (Venice); vote obtained: 108/110; BSc Thesis: Sugli approcci alla teoria astratta della Computabilità. |
| jun 1999 | Maturità scientifica at Liceo Scientifico Statale Leonardo Da Vinci (Treviso); vote: 81/100; |
| Sep 2011- To Date |
Maitre de Conferences at Univ. Paris 13, Villetaneuse. |
| May 2010- Aug 2011 |
Post-Doc at Radboud University, NWO Calmoc Project. |
| Nov. 2009- Apr. 2010 |
Post-Doc at Paris 13 (LIPN), Collodi Project. |
| Jan. 2009- Oct. 2009 |
Post-Doc at INRIA-Rocquencourt (MOSCOVA team), ANR ParSec Project. |
| Sep. 2007- Dec. 2008 |
ATER at Université Paris-Diderot, Paris 7 |
Home |
Teaching |
Research |
Spare Time |
In theory, theory equals practice. In practice, they differ.