Alessio Guglielmi

Dr

  • 1 WEST 4.55

Accepting Doctoral Students

20012018

Research output per year

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

Personal profile

Research interests

I work in proof theory, and in particular in deep inference. My goal is to help solve the problem of proof identity, i.e., finding a way to compare formal proofs and algorithms. My web page explains what all this is about.

Fingerprint

Dive into the research topics where Alessio Guglielmi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 4 Similar Profiles

Network

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.