About Me
I’m a research engineer at Droit, working on the application of logic to computational law and regulatory compliance. I still have a toe in academia — I’m an Honorary Research Fellow at UCL in the Programming Principles, Logic and Verification group — and will continue to maintain this page with academic research I conduct.
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
Alexander Gheorghiu, Simon Docherty and David Pym. Provability in BI's Sequent Calculus is Decidable. Submitted. 2021
Jialu Bao, Simon Docherty, Justin Hsu and Alexandra Silva. A Bunched Logic for Conditional Independence. LICS 2021, to appear.
Alexander Gheorghiu, Simon Docherty and David Pym. Reductive Logic, Proof-search, and Coalgebra: A Perspective from Resource Semantics. Submitted, 2021
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot and Alexandra Silva. Partially Observable Concurrent Kleene Algebra. CONCUR 2020, LIPIcs 171, 2020.
Simon Docherty and Reuben. N. S. Rowe. A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic. TABLEAUX 2019, LNCS 11714, 2019.
Simon Docherty and David Pym. Stone-Type Dualities for Separation Logics. Logical Methods in Computer Science, 15(1), 2019.
Simon Docherty and David Pym. Intuitionistic Layered Graph Logic: Semantics and Proof Theory. Logical Methods in Computer Science, 14(4), 2018.
Simon Docherty and David Pym. A Stone-Type Duality Theorem For Separation Logic via Its Underlying Bunched Logics. Proc. MFPS 2017, ENTCS 336, pp. 101—118, 2018.
Simon Docherty and David Pym. Modular Tableaux Calculi for Separation Theories. Proc. FoSSaCS '18, LNCS 10803, pp 441—458, 2018.
Simon Docherty and David Pym. Intuitionistic Layered Graph Logic. Proc. IJCAR 2016, Coimbra, Portugal. LNCS 9706, pp. 469—486, 2016.
Refereed Extended Abstracts
Simon. Docherty and David Pym. Resource Reasoning in Duality Theoretic Form: Stone-Type Dualities for Bunched and Separation Logics. TACL 2019, 2019.
Simon Docherty and David Pym. Intuitionistic Layered Graph Logic (Invited submission, for IJCAI's "Sister Conference Best Paper" Track). Proc. IJCAI 2017, 2017.
Theses
Simon Docherty. Bunched Logics: A Uniform Approach, PhD thesis, University College London, 2019.
Simon Docherty. A Model Of Type Theory In Cubical Sets With Connections, MSc. thesis, University of Amsterdam, 2014.
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 - Aug 2020.
Past Talks
Cyclic proofs of program termination (UCL PPLV Cyclic Proofs Reading Group) (Slides)
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)
Students
Alex Gheorghiu (PhD student, Sept 2019 - Aug 2020, second supervisor)
Todd Wayne Schmid (PhD student, Sept 2019 - Aug 2020, second supervisor)
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: ICALP 2020, 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