Dr. David Sherratt

Biography

David Sherratt

Image: David Sherratt


I'm a postdoctoral researcher in the Institute of Computer Science at the University of Jena (since 04/2019).
My research is in the area of logic, proof theory, and proof complexity.
In my PhD I focused on computational interpretations of proposition intuitionistic logics in the setting on Deep Inference:
http://alessio.guglielmi.name/res/cos/index.htmlExternal link

I completed my PhD at the University of Bath, England, in December 2019.
Before that I completed my bachelors and masters degrees at Swansea University/Prifysgol Abertawe in Wales.

Publications

Sherratt, D., Heijltjes, W., Gundersen, T. and Parigot, M., 2020, April. Spinal Atomic Lambda-Calculus. In International Conference on Foundations of Software Science and Computation Structures (pp. 582-601). Springer, Cham.
Sherratt, D., 2019. A lambda-calculus that achieves full laziness with spine duplication (Doctoral dissertation, University of Bath).

Talks

The Spinal Atomic Lambda-Calculus - Dagsthul 2020, Structures and Deduction 2019
Towards and atomic abstract machine - SREPLS 2017, FISP 2017

Activities

Organiser for "Bath Conference in Computer Science" years 2016, 2017, 2018