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 - Dundee (2013-)
- Marie Curie 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:

- Theory and Practice of Differential Privacy 2015 - (OC & PC Chair)
- Developments in Implicit Computational ComplExity 2015 - (PC Chair)
- Mathematical Foundations of Program Semantics 2015 - (PC)
- Logic and Computational Complexity 2013 - (Speaker)
- Foundational and Practical Aspects of Resource Analysis 2013 (PC)
- 2012 ASL - 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