Skip to main content

Dr Alessio Guglielmi Dr Alessio Guglielmi

Alessio is an academic member of staff in the Department of Computer Science.

Academic profile
View more person profiles in Department of Computer Science

Research

Proof theory
Proof complexity
Deep inference

This person is available to supervise research degree projects

Publications

View a list of books and publications by Alessio Guglielmi