Generate a tailored SOP for Dr. Erik De Vink. Improve your application with a focused, well-structured draft.
Erik de Vink is an Associate Professor in the Department of Mathematics and Computer Science at Eindhoven University of Technology (TU/e). His areas of expertise include software, algorithms, control systems, software product lines, and formal methods for dynamic system adaptation. Erik has a specific ongoing interest in qualitative process algebras, particularly bisimulation in probabilistic systems. He is currently focused on formal modeling and analysis of Software Product Lines and dynamic system adaptation, aiming to deploy model checkers for analyzing feature-behavior interactions in family-oriented verification tasks. Dynamic System Adaptation is another key area of interest for Erik, specifically employing languages from the Reo paradigm, striving to develop methods for modeling dynamic migration trajectories alongside validation techniques. His research primarily utilizes tools such as mCRL2 and Prism model checkers.
VU Amsterdam • Amsterdam, NL
Worked in the Theoretical Computer Science group focusing on denotational semantics.
KPN • NL
Senior researcher role at KPN.
Leiden University • Leiden, NL
Associate Professor with a focus on software and systems.
CWI, Dutch National Research Institute for Mathematics and Computer Science • Amsterdam, NL
Associated Research Fellow at CWI.
Specific departments like Industrial Design require a portfolio. Programs like Data Science and AI require a GRE-General test for certain international backgrounds.