David R. Sherratt
I am a third 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 theoretical computer science, in particular proof theory and lambda calculi, and their Curry-Howard correspondence. I am currently focused on efficient reduction and evaluation strategies for lambda terms and its implementation.
Sep 2017 - Towards Atomic Graphs
Talk presented at 4th international workshop on structures and deduction.
Joint work with Marco Solieri .
Jan 2017 - Towards an Atomic Abstract Machine
Talk presented at S-REPLS 5
May 2016 - Atomic Lambda Calculus and its connections with Sharing Graphs
Talk presented at PCC 2016
Jan 2016 - Master's Thesis (2016)
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
Structures and Algorithms (2016-2018)
CM20256 Functional Programming (2016-2018)
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
d.r.sherratt AT bath.ac.uk
Twitter - DavidSherbet