Allan van Hulst

Postdoctoral researcher
Team Member

Short CV

2022 - presentResearcher/Scientific ProgrammerVrije Universiteit Amsterdam
2021 - 2021 Data analystTinbergen Institute
2020 - 2020 Scientific ProgrammerMax Planck Institute
2018 - 2019Postdoctoral researcherTU/e Eindhoven
2017 - 2017Scientific ProgrammerUtrecht University
2011 - 2016PhD Student, Control TheoryTU/e Eindhoven
2004 - 2010MSc Theoretical Computer ScienceRadboud University Nijmegen


My contribution to the research line of the group is mainly as a developer of scientific software. At present, most of my work is focused on the FUMA toolset. Besides that, I have several further research interests. Notably formal verification of mathematical proofs and discrete mathematics.

Highlighted publications

• A.C. van Hulst. Kernels and Small Quasi-Kernels in Digraphs. 2021 (

• A.C. van Hulst. A Complete Axiom System for 1-Free Kleene Star Expressions under Bisimilarity: An Elementary Proof, to appear in: Mathematical Structures in Computer Science (MSCS), 2020.

• A.C. van Hulst, M.A. Reniers, and W.J. Fokkink. Maximally Permissive Controlled System Synthesis for Non-Determinism and Modal Logic, Discrete Event Dynamic Systems (DEDS), pp. 109–142, 2017.

Contact info


Vrije Universiteit Amsterdam
Center for Neurogenomics and Cognitive Research (CNCR)
Department of Complex Trait Genetics
W&N building, Room B-602
De Boelelaan 1085
1081 HV Amsterdam
The Netherlands