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

**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:** **ESOP 2019, LPAR-22, CSL 2018, IJCAR 2018, APLAS 2017, LICS 2017, FoSSaCS 2017.

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