Allan van Hulst

Postdoctoral researcher

Team Member

Short CV

2022 - present	Researcher/Scientific Programmer	Vrije Universiteit Amsterdam
2021 - 2021	Data analyst	Tinbergen Institute
2020 - 2020	Scientific Programmer	Max Planck Institute
2018 - 2019	Postdoctoral researcher	TU/e Eindhoven
2017 - 2017	Scientific Programmer	Utrecht University
2011 - 2016	PhD Student, Control Theory	TU/e Eindhoven
2004 - 2010	MSc Theoretical Computer Science	Radboud University Nijmegen

Research

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 (https://arxiv.org/abs/2110.00789).

• 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

Address:	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
Telephone:
E-mail:	a.c.van.hulst@vu.nl