University of Bath

Dr Willem Heijltjes Lecturer in computer science

Willem Heijltjes is a member of the Mathematical Foundations research group.

Portrait of Willem Heijltjes
Willem Heijltjes

Contact details 01225 385932

View all contact details



  • Proof nets
  • Deep-inference proof theory
  • Lambda calculus
  • Logic and semantics

This person is available to supervise research degree projects

Related posts

  • Prize Fellow