Giulio Guerrieri

Photo de Giulio Guerrieri

Je suis Docteur en Informatique et Philosophie. J'ai fait ma thèse de doctorat au Dipartimento di Filosofia de l'Università Roma Tre (Rome, Italie) en co-tutelle avec le laboratoire PPS de l'Université Paris Diderot - Paris 7 (Paris, France). Mes directeurs de thèse ont été Lorenzo Tortora de Falco et Thomas Ehrhard.

Actuellement, je suis post-doc dans le Department of Computer Science de l'University of Oxford.
Auparavant, j'ai été post-doc dans le laboratoire I2M (UMR 7373 de l'Aix-Marseille Université et CNRS), avec une visite au Dipartimento di Matematica e Fisica (Università Roma Tre); et post-doc dans le laboratoire PPS (UMR 7126 de l'Univerité Paris Diderot - Paris 7 et CNRS).

Le pdf de ma thèse est disponible ici. Mon CV est dipsonible ici

Email: (remplacez [at] par l'arobase)
giulio.guerrieri[at]pps.univ-paris-diderot.fr
giulio.guerrieri[at]uniroma3.it
giulio.guerrieri[at]amu-univ.fr

Bureau:
3030
Laboratoire PPS - Université Paris Diderot - Paris 7
Bâtiment Sophie Germain, 3e étage
8 Place FM/13
75013 Paris (France)
(La place FM/13 se situe au croisement de l'avenue de France et de la rue Alice-Domon et Léonie-Duquet. Visualiser le plan avec Google Maps. Plan du campus de Paris Diderot.)

Publications :

  1. A semantical and operational account of call-by-value solvability (avec Alberto Carraro). 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2014).
    pdf (version longue) bibtex
  2. Standardization of a call-by-value lambda-calculus (avec Luca Paolini et Simona Ronchi Della Rocca). 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015).
    pdf bibtex.
  3. Head reduction and normalization in a call-by-value lambda-calculus. 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015).
    pdf bibtex.
  4. Computing connected proof(-structure)s from their Taylor expansion (avec Luc Pellissier et Lorenzo Tortora de Falco). 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016).
    pdf (version longue) bibtex.
  5. The bang calculus: an untyped lambda-calculus generalizing Call-By-Name and Call-By-Value (avec Thomas Ehrhard). 18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016).
    pdf (version longue) bibtex.
  6. Open Call-by-Value (avec Beniamino Accattoli). 14th Asian Symposium on Programming Languages and Systems, (APLAS 2016).
    pdf, (une version prédédente: pdf) bibtex.
  7. Implementing Open Call-by-Value (avec Beniamino Accattoli). 7th IPM International Conference on Foundamentals of Software Engineering (FSEN 2017).
    pdf bibtex.
  8. Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus (avec Luca Paolini et Simona Ronchi Della Rocca). Logical Methods in Computer Science (LMCS) (special issue of selected papers of RTA-TLCA 2015), Vol. 13, Issue 4, 2017.
    pdf bibtex.
  9. Postponement of RAA and Glivenko's theorem, revisited (avec Alberto Naibo). À paraître dans Studia Logica, Special issue of General Proof Theory 2015, celebrating 50 Years of Dag Prawitz's "Natural Deduction".
    pdf pdf (version longue). Une presentation du travail est disponible ici.

Preprints, rapports techniques et soumissions :

Communications à des colloques internationales avec comité de sélection (sans publication ou avec publication « informelle ») :

Enseignements :