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