David R. Sherratt


I am a second year Ph.D. student at the Department of Computer Science, University of Bath, in the Mathematical foundations of computation group.

My supervisors are Willem Heijltjes and Alessio Guglielmi.

My area of research is in proof theory and lambda calculi. I am currently focused on efficient reduction and evaluation strategies for lambda terms and its implementation.



Jan 17 - Towards an Atomic Abstract Machine

Talk presented at S-REPLS 5

(Abstract / Slides)


May 16 - Atomic Lambda Calculus and
its connections with Sharing Graphs

Talk presented at PCC 2016

(Abstract / Slides)


Jan 16 - Master's Thesis (2016)

Transformation of Equational Theories and the
Separation Problem of Bounded Arithmetic

Submitted for the Degree of Masters of Research
Swansea University - MRes Logic and Computation

Supervised by Prof. Arnold Beckmann

(Thesis / Slides)



Other Activities

Member of Organising Committee for BCCS 2017
Member of Organising Committee for BCCS 2016

Mathematical Foundations Seminar Organiser (Sept 2016 - Present)


CM20254 Data Structures and Algorithms (2016-2017)
CM20256 Functional Programming (2016-2017)
CM50230 Intelligent control and cognitive system (2016-2017)
CM20218 Foundations of Computation 2 (2015-2016)
CM10227 Programming 1A (2015-2016)
CM10228 Programming 1B (2015-2016)


Department of Computer Science
1 West 4.56
Claverton Down
United Kingdom

d.r.sherratt AT bath.ac.uk