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 Dipartimento di Informatica--Scienza e Ingegneria (DISI) de l'Università di Bologna (Italie).
Auparavant, j'ai été post-doc dans le Department of Computer Science de l'University of Oxford (Royaume Uni); 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 (en français), ici (in english), ici (in italiano).

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
giulio.guerrieri[at]cs.ox.ac.uk
giulio.guerrieri[at]unibo.it

Bureau :
2.21
Dipartimento di Informatica--Scienza e Ingegneria (DISI), Università di Bologna
via Malaguti, 1/D
40126 Bologna (Italie)

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. Types of Fireballs (avec Beniamino Accattoli). 16th Asian Symposium on Programming Languages and Systems, (APLAS 2018).
    pdf (version longue) bibtex.
  10. Postponement of RAA and Glivenko's theorem, revisited (avec Alberto Naibo). Studia Logica (Special issue of General Proof Theory 2015, celebrating 50 Years of Dag Prawitz's "Natural Deduction"), Vol. 107, Number 1, pp. 109-144, 2019.
    pdf pdf (version longue) bibtex. Une presentation du travail est disponible ici.
  11. The Bang Calculus and the Two Girards's Translations (avec Giulio Manzonetto). À paraître dans les post-porceedings de Trends in Linear Logic and Applications / Linearity (TLLA/Linearity 2018), 2019.
    pdf.
  12. Types by Need (avec Beniamino Accattoli et Maico Leberle). À paraître dans les proceedings de 28th European Symposium on Programming, (ESOP 2019), 2019.
    pdf (version longue),
  13. Abstract Machines for Open Call-by-Value (avec Beniamino Accattoli). À paraître sur Science of Computer Programming (special issue of selected papers of FSEN 2017), 2019
    pdf.
  14. Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus. À paraître dans les post-porceedings de Intersection Types and Related Systems (ITRS 2018), 2019.
    pdf.

Preprints, rapports techniques et soumissions :

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

Enseignements :