Further Information

Before joining the MCMP, I was a postdoctoral researcher at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam. There I also obtained my PhD with a dissertation on Dynamical Systems via Domains, supervised by Michiel van Lambalgen (Amsterdam) and Franz Berto (St Andrews). The project was funded by my grant on Foundations of Analogical Thinking from the Dutch Research Council (NWO).

Research Interests

The main part of my research is on the foundations of artificial intelligence (AI). Modern neural networks and machine learning algorithms have become both impressively and worryingly powerful, but we’re still lacking a general theory for them. Developing such a theory is a fascinating open problem at the intersection of computer science, math, philosophy, cognitive science, and other subjects. For classical computer programs, this largely has been solved: we understand their possibilities, limitations, complexity, semantics, logic, verification, safety, etc. My approach to this problem is to investigate if analogous aspects of understanding can be developed for the sub-symbolic computation of modern AI. I find it fruitful to view this kind of computation as dynamical systems; and in my PhD thesis, I’ve developed a domain-theoretic semantics for them.

My research interests outside this topic also include, e.g., the philosophy of language (hyperintensionality, synonymy, vagueness) and philosophical logic (multivalued logics, relevance logic, counterfactuals, non-monotonic logics, logical constants). I enjoy using the tools of dynamical systems theory, domain theory, category theory, duality theory, universal algebra, constructive mathematics, modal logic, and formal epistemology—and especially learning new ones.

Selected Publications