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