In simplest terms, I'm a logician, working in computer science. In my research I'm particularly interested in modular and uniform approaches to the mathematical theory of logics that are designed for a wide array of reasoning tasks. I'm based at UCL in the Programming Principles, Logic and Verification group, where I am a research fellow and co-investigator on the EPSRC-funded 4 year project A coalgebraic framework for reductive logic and proof-search (ReLiC), working with Prof. David Pym and Prof. Alexandra Silva. At the moment I’m working on:
A coalgebraic theory of proof-search and goal-directed reasoning;
Applications of many-valued logics to concurrency and consensus;
Cyclic proof theory for non-classical logics;
Model theory for coalgebraic, non-distributive and substructural (bunched, linear, separation) logics.
In my PhD at UCL I was supervised by David Pym and formulated modular and uniform mathematical foundations for the family of bunched logics. I obtained my MSc in Logic at the Institute for Logic, Language and Computation in Amsterdam, and my MSci in Mathematics & Philosophy at the University Of Bristol.
I also run the PPLV group’s research seminar. Interested in visiting and giving a talk? Get in touch!
Publications & Manuscripts
S. Docherty and R. N. S. Rowe. A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic. TABLEAUX 2019, LNCS 11714, 2019.
S. Docherty and D. Pym. Stone-Type Dualities for Separation Logics. Logical Methods in Computer Science, 15(1), 2019.
S. Docherty and D. Pym. Intuitionistic Layered Graph Logic: Semantics and Proof Theory. Logical Methods in Computer Science, 14(4), 2018.
S. Docherty and D. Pym. A Stone-Type Duality Theorem For Separation Logic via Its Underlying Bunched Logics. Proc. MFPS 2017, ENTCS 336, pp. 101—118, 2018.
S. Docherty and D. Pym. Modular Tableaux Calculi for Separation Theories. Proc. FoSSaCS '18, LNCS 10803, pp 441—458, 2018.
S. Docherty and D. Pym. Intuitionistic Layered Graph Logic. Proc. IJCAR 2016, Coimbra, Portugal. LNCS 9706, pp. 469—486, 2016.
Refereed Extended Abstracts
S. Docherty and D. Pym. Resource Reasoning in Duality Theoretic Form: Stone-Type Dualities for Bunched and Separation Logics. TACL 2019, 2019.
S. Docherty and D. Pym. Intuitionistic Layered Graph Logic (Invited submission, for IJCAI's "Sister Conference Best Paper" Track). Proc. IJCAI 2017, 2017.
S. Docherty. Bunched Logics: A Uniform Approach, PhD thesis, University College London, 2019.
S. Docherty. A Model Of Type Theory In Cubical Sets With Connections, MSc. thesis, University of Amsterdam, 2014.
Researcher Co-Investigator, “A coalgebraic framework for reductive logic and proof-search (ReLiC)”.
EPSRC Grant EP/S013008/1, PI: David Pym. £1.2m, Nov 2018 - Oct 2022.
Resource Reasoning in Duality Theoretic Form: Stone-Type Dualities for Bunched and Separation Logics (TACL 2019) (Slides)
Modular Tableaux Calculi for Separation Theories (FoSSaCS 2018) (Slides)
Modular Tableaux Calculi for Bunched Logics and Separation Theories (BCTCS 2018) (Slides)
Intuitionistic Layered Graph Logic (IJCAI 2017) (Slides)
A Stone-Type Duality Theorem for Separation Logic via its Underlying Bunched Logics (MFPS 33, 2017) (Slides)
Stone-Type Duality for Separation Logic (UCL PPLV Seminar 2017) (Slides)
A Stone Duality Primer (UCL PPLV Seminar 2017) (Slides)
Intuitionistic Layered Graph Logic (IJCAR 2016) (Slides)
A Model Of Type Theory In Cubical Sets With Connections (MSc. Viva) (Slides)
18/19 TA for Logic and Database Theory, Directed Reading
17/18 TA for Theory I, Logic and Database Theory
16/17 TA for Logic and Database Theory
15/16 TA for Theory I
14/15 TA for Theory I
Conference Refereeing: CSL 2020, TABLEAUX 2019, ESOP 2019, LPAR-22, CSL 2018, IJCAR 2018, APLAS 2017, LICS 2017, FoSSaCS 2017.
Journal Refereeing: Transactions on Fuzzy Systems, Mathematical Logic Quarterly, Journal of Logic and Computation, Journal of Cybersecurity.
Grant Refereeing: Czech Science Foundation