Giulio Guerrieri


  • 1 WEST 4.56

Accepting Doctoral 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

Award Date: 20 Jun 2013

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


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.
  • 4 Similar Profiles


Recent external collaboration on country level. Dive into details by clicking on the dots.
If you made any changes in Pure these will be visible here soon.