Manzonetto Giulio.
Born 18th March in Conegliano (Treviso) - Italy.
I will be x years old in the year x2.
I live in Cachan, I work in Paris.
feb 2008 | Ph.D. in Computer Science co-tutored between: Department of Computer Science - Ca' Foscari University (Venice) and IRIF (ex PPS) - University Paris Cité (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 2023- To Date |
Professeur des Universités at Univ. Paris Cité, Paris. |
Sep 2011- Aug. 2023 |
Maître 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.