P. Maurice Dekker

I am a PhD candidate in theoretical computer science in Amsterdam. My work focuses on the intersection of multi-agent path finding with epistemic planning. Besides that I like computer chess, chess variants, mathematics, and reading.

Biography

• High school (2010-2016): Gemeentelijk Gymnasium Hilversum
• Bachelor of art (2016-2020): Composition at the Amsterdamse Hogeschool voor de Kunsten
• Bachelor of science (2016-2020): Mathematics at the University of Amsterdam
• Master of science (2020-2023): Logic at the University of Amsterdam
• Doctor of science (2024-): Theoretical computer science at the University of Amsterdam
  • Supervisor: Gregor Behnke

Publications

• Maurice Dekker 2023. "KD45 with Propositional Quantifiers". In Logic and Logical Philosophy, vol. 33, no. 1, pp. 27-54.
• Maurice Dekker, Johannes Kloibhofer, Johannes Marti and Yde Venema 2023. "Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata". In Proceedings of the 32th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, pp. 242-259.
• Maurice Dekker and Gregor Behnke 2024. "Barely Decidable Fragments of Planning". In Proceedings of the 27th European Conference on Artificial Intelligence, pp. 4198-4206.

Links

• Professional:
  • My page on the website of the ILLC
  • My page on Theory.Amsterdam
  • My page on Google Scholar
  • My page on dblp.org
  • My page on orcid.org
  • My profile on GitHub
  • My page on LinkedIn
• Other:
  • A chess variant with dice
  • My profile on lichess.org
  • My profile on Twitch
  • Top Chess Engine Championship
  • Au-some
  • My channel on YouTube
  • My favorite book

Contact

• Work stuff: p.m.dekker [at] uva.nl
• Other stuff: pmauricedekker [at] gmail.com