Dundee logo


University of Dundee
School of Computing


HOME     PUBLICATIONS     

Marco Gaboardi
Ph.D. Torino - Nancy

e-mail: m.gaboardi@dundee.ac.uk


telephone: +44 01382 385317


Location:

University of Dundee

School of Computing

Dundee, DD1 4HN
Scotland



Brief CV:

- Lecturer and Dundee Fellow - University of Dundee (2013-)

- Marie Curie Research Fellow - Bologna and UPenn (2011-2014)

  Project Platform
- 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:

- Logic and Computational Complexity 2013 - (Speaker)
- Workshop on Foundational and Practical Aspects of Resource Analysis 2013 (PC)
- 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

- FP7 Marie Curie: Platform
- 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