Dr. David Sherratt

ds graduation 

Institute of Computer Science
Friedrich Schiller University Jena
Ernst-Abbe-Platz 2
Room: 3330
07743 Jena

email: david dot sherratt at uni-jena dot de



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:

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.



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).



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



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