**Research**

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, where I am a 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.

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

**Theses**

2014 S. Docherty - A Model Of Type Theory In Cubical Sets With Connections (MSc. Thesis)**Research Grants**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.

**Past Talks**

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)**Teaching**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

**Academic Service**

Conference Refereeing:** **LPAR-22, CSL 2018, IJCAR 2018, APLAS 2017, LICS 2017, FoSSaCS 2017.

Journal Refereeing: Journal of Logic and Computation, Journal of Cybersecurity.