I am a mathematician working at the boundaries of applied mathematics, theoretical computer science, control engineering and systems biology. Since January 2011, I have been working as a Universitair Docent (University Lecturer) in the BioMathematics and bioInformatics (BMI) group at the Department of Knowledge Engineering, Maastricht University.
My active research interests include computable analysis, rigorous numerical methods, nonlinear systems and chaos, cyber-physical (hybrid) systems, and the electrophysiology of cardiac myocytes. I am the main developer of Ariadne, an open-source tool of reachability analysis and verification of hybrid systems.
I graduated with a B.A. in Mathematics from Cambridge University in 1994, and took Part III of the Mathematics Tripos (essentially a Master’s degree) in 1995. I obtained my Ph.D. from the Univerisity of California at Berkeley in 1999 under the supervision of Prof. Morris Hirsch. I worked as a postdoc at Liverpool University from 2000 to 2002, and the Centre for Mathematics and Computer Science (CWI) in Amsterdam from 2003 to 2010, first as a postdoc and then as a scientific researcher at CWI supported by a “Vidi” grant from the Dutch government.