• 1 WEST 4.56

Accepting PhD Students


Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

Mathematical logic, proof theory, linear logic, proof-nets, lambda-calculus, Curry-Howard, type theory, theory of programming languages, abstract machines, denotational semantics, rewrite theory.

Education/Academic qualification

Computer Science, Doctor of Science, Université Paris Diderot

External positions

Post-doctoral fellowship, Università di Bologna

1 Dec 201730 Nov 2018

Post-doctoral fellowship, University of Oxford

1 Dec 201630 Nov 2017

Post-doctoral fellowship, Aix-Marseille University

1 Dec 201530 Nov 2016

Post-doctoral fellowship, Université Paris Diderot

1 Sep 201430 Nov 2015


  • QA75 Electronic computers. Computer science
  • Logic
  • lambda-calculus
  • BC Logic

Fingerprint Dive into the research topics where Giulio Guerrieri is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 3 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 13 Conference contribution
  • 3 Article
  • 2 Conference article

Glueability and coherence of resource proof-structures: inverting the Taylor expansion

Guerrieri, G., Pellissier, L. & Tortora de Falco, L., 2020, 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain. Fernandez, M. & Muscholl, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 152. p. 24:1–24:18 18 p. 24. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 152).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Abstract Machines for Open Call-by-Value

Accattoli, B. & Guerrieri, G., 1 Oct 2019, In : Science of Computer Programming. 184, 102275.

Research output: Contribution to journalArticle

Crumbling Abstract Machines

Accattoli, B., Condoluci, A., Guerrieri, G. & Sacerdoti Coen, C., 31 Oct 2019, PPDP '19: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages: Porto, Portugal, October 7-9, 2019. Association for Computing Machinery, p. 4:1-4:15 15 p. 4

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Factorization and Normalization, Essentially

Accattoli, B., Faggian, C. & Guerrieri, G., 31 Dec 2019, APLAS 2019: Programming Languages and Systems. Springer Verlag, Vol. 11893. p. 159–180 22 p. (Lecture Notes in Computer Science; vol. 11893).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Postponement of raa and Glivenko’s Theorem, Revisited

Guerrieri, G. & Naibo, A., 15 Feb 2019, In : Studia Logica. 107, 1, p. 109-144 36 p.

Research output: Contribution to journalArticle