In simplest terms, I'm a logician working in computer science. In my research I'm interested in modular and uniform approaches to the mathematical theory of logics that are designed for a wide array of reasoning tasks, including complex systems modelling, machine learning and program verification. 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 thinking about
- Coalgebraic semantics for proof search and variants of logic programming;
- Logics for complex systems modelling and interface reasoning;
- Cyclic proof theory for non-classical logics;
- Mathematical foundations and metatheory for bunched/separation logic;
In my PhD (viva pending!) 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.
Publications & Manuscripts
2018 S. Docherty and D. Pym - Intuitionistic Layered Graph Logic: Semantics and Proof Theory (Logical Methods in Computer Science)
2018 S. Docherty and D. Pym - A Stone-Type Duality Theorem For Separation Logic via Its Underlying Bunched Logics (Proc. MFPS 2017, Ljubljana, Slovenia. ENTCS.)
2018 S. Docherty and D. Pym - Modular Tableaux Calculi for Separation Theories (Proc. FoSSaCS '18, Thessaloniki, Greece. LNCS.)
2017 S. Docherty and D. Pym - Stone-Type Dualities for Separation Logics (Submitted)
2017 S. Docherty and D. Pym - Intuitionistic Layered Graph Logic (Abridged, for IJCAI's "Sister Conference Best Paper" Track) (Proc. IJCAI 2017, Melbourne, Australia.)
2016 S. Docherty and D. Pym - Intuitionistic Layered Graph Logic (Proc. IJCAR 2016, Coimbra, Portugal. LNCS.)
2014 S. Docherty - A Model Of Type Theory In Cubical Sets With Connections (MSc. Thesis)
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.
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: LPAR-22, CSL 2018, IJCAR 2018, APLAS 2017, LICS 2017, FoSSaCS 2017.
Journal Refereeing: Journal of Logic and Computation, Journal of Cybersecurity.