Università di Bologna
Dipartimento di Scienze dell'informazione - INRIA Focus Team

University of Pennsylvania
Department of Computer and Information Science - PL Club

e-mail: gaboardi@cs.unibo.it

Location:

University of Pennsylvania

Department of Computer and Information Science

3330 Walnut Street

Philadelphia, PA 19104 - USA

Brief CV:

- Marie Curie Research Fellow - Bologna and UPenn (2011-2013)
- Research Associate - Paris 13 (2011)
- Research Associate - Bologna (2010)
- Research Associate - Torino (2008-2009)
- Ph.D. Computer Science - Torino and INPL Nancy (2007)
- MSc Computer Science - Milano Bicocca (2004)
- BSc Computer Science - Milano Bicocca (2002)

Some Events:

- 2012 ASL meeting - Special Session on Structural Proof Theory and Computing (Speaker)

- Developments in Implicit Computational Complexity 2012 (PC)

- Kyoto Workshop on Linear Logic (Speaker)

- Graduate course on Linear Logic: Theory and Applications (Speaker)
- Oregon Programming Language Summer School OPLSS 2011 (OC)
- XXIV Incontro di Logica AILA 2011 (OC)

Projects

- NSF: Putting Differential Privacy to Work

- ONR: NoBot: Networks opposing Bot-nets

- INRIA ARC: Eternal

- INRIA EA: Cristal, Semacode

- CNRS Pics: Logique Linéaire et Application