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

w.b.heijltjes@bath.ac.uk 01225 385932

View all contact details

Research

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