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. At the moment I'm thinking about the semantics of proof search, coalgebraic generalisations of Separation Logic and algebraic proof theory for bunched logics. I'm based at UCL in the Programming Principles, Logic and Verification group, and supervised by Prof. David Pym. 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 - 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: Semantics and Proof Theory (Accepted for publication in a journal)
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)
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)
Conference Refereeing: CSL 2018, IJCAR 2018, APLAS 2017, LICS 2017, FoSSaCS 2017.
Journal Refereeing: Journal of Logic and Computation, Journal of Cybersecurity.