Research
Recent Publications
Dynamical Systems via Domains: Toward a Unified Foundation of Symbolic and Non-symbolic Computation (2021). PhD Dissertation. University of Amsterdam, Institute for Logic, Language and Computation.
The Logic of Information in State Spaces (2021). The Review of Symbolic Logic 14.1, pages 155–186. DOI: https://doi.org/10.1017/S1755020320000222
Logics of Synonymy (2020). Journal of Philosophical Logic 49, pages 767–805. DOI: https://doi.org/10.1007/s10992-019-09537-5
Toward a Logic for Neural Networks (2019). In: I. Sedlár, & M. Blicha (Eds.), The Logica Yearbook 2018, pages 133–148, London: College Publications.
Recent Talks
Colloquium Logicum 2022 of the DVMLG (University of Konstanz). Dynamical Systems via Domains: Semantics for Non-symbolic Computation. 26–28 September 2022.
Applied Category Theory Conference 2022 (University of Strathclyde, Glasgow, Scotland). Dynamical Systems via Domains (distinguished presentation). 18–22 July 2022. Slides and video recording.
University of Amsterdam. The ILLC Colloquium. Logic in Explainable AI. 10 June 2022.
University of Amsterdam. Meaning, Logic, and Cognition (MLC) Seminar. Stability: Fitch’s lemma and AI-safety. 13 May 2022.
University of St Andrews, Arché. Metaphysics & Logic Seminar. The Structure of Hyperintensionality. 20 April 2020. (Online.)
LMU Munich, Munich Center for Mathematical Philosophy. Logic Colloquium. Logics of Synonymy. 5 December 2019.
University of Amsterdam, ILLC. Logic of Conceivability Seminar. Stability: A novel interpretation of Fitch’s lemma. 2 October 2019.
University of Vienna, Gödel’s Legacy Conference. Stability of foundational concepts: Gödelian arguments from general relativity. 25–27 July 2019.
Utrecht University, Department of Philosophy and Religious Studies. TULIPS. Analyzing the Behavior of Transition Systems. 2 April 2019.
University of Amsterdam, ILLC. Algebra|Coalgebra Seminar. Trajectory domains: analyzing the behavior of transition systems. 13 March 2019.
University of Oxford, Department of Computer Science. OASIS: The Oxford Advanced Seminar on Informatic Structures. Trajectory domains: describing the behavior of computing systems. 30 November 2018.
LMU Munich, Munich Center for Mathematical Philosophy. Logic Colloquium. HYPE, Information, and Dynamical Systems. 8 November 2018.
Czech Academy of Sciences, Prague. Machine learning and explanation in cognitive science. Towards a domain-theoretic framework for describing the behavior of neural networks. 15 October 2018.
LOGICA 2018, Hejnice monastery. A Logic of State Spaces. 18-22 June 2018.
University of Amsterdam, ILLC. Logic of Conceivability Seminar. Logics of Synonymy. 21 February 2018.
Ghent University, Centre for Logic and Philosophy of Science. Hyperintensional Logics and Truthmaker Semantics. Logics of Synonymy. 15 December 2017.