• 1 WEST 4.56

Accepting PhD Students

20142019
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

Keywords

  • 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
Proof Nets Mathematics
Abstract Machines Mathematics
Denotational Semantics Mathematics
Proof Theory Mathematics
Linear Logic Mathematics
Lambda Calculus Mathematics
Type Theory Mathematics
Programming Languages Mathematics

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

Research Output 2014 2019

  • 10 Conference contribution
  • 1 Conference article
7 Downloads (Pure)

Proof-Net as Graph, Taylor Expansion as Pullback

Guerrieri, G., Pellissier, L. & Tortora de Falco, L., 9 Jun 2019, Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (eds.). Berlin, Germany: Springer Verlag, p. 282-300 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11541 LNCS).

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

Open Access
File
Open Access
3 Citations (Scopus)

Types by Need

Accattoli, B., Guerrieri, G. & Leberle, M., 6 Apr 2019, Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Caires, L. (ed.). Springer Verlag, p. 410-439 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11423 ).

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

Open Access
5 Citations (Scopus)

Types of Fireballs

Accattoli, B. & Guerrieri, G., 22 Oct 2018, Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Proceedings. Ryu, S. (ed.). Springer Verlag, p. 45-66 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11275 LNCS).

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

6 Citations (Scopus)

Implementing Open Call-by-Value

Accattoli, B. & Guerrieri, G., 11 Oct 2017, Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Revised Selected Papers. Sirjani, M., Dastani, M. & Sirjani, M. (eds.). Springer Verlag, p. 1-19 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10522 LNCS).

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