University of Bath

Dr Alessio Guglielmi Reader in computer science

Alessio Guglielmi is a member of the Mathematical Foundations research group.

Research

Details

  • Proof theory
  • Proof complexity
  • Deep inference

This person is available to supervise research degree projects