Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Persoonlijk profiel

Research profile

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, formal methods and dynamic system adaptation. Erik also has an ongoing interest in qualitative process algebras, in particular regarding bisimulation for probabilistic systems.

Currently, he is interested in formal modeling and analysis of Software Product Lines and in formal methods for Dynamic System Adaptation. More specifically, Erik seeks to deploy model checkers for the analysis of feature-behavior interaction and family-oriented verification in the area of Software Product Lines. With regard to Dynamic System Adaptation, he is particularly interested in the languages Paradigm and Reo. He aims to develop methods for the modeling dynamic migration trajectories and related validation techniques. He mainly uses the mCRL2 and Prism model checkers for tool support.

Academic background

Erik de Vink obtained his PhD in Computer Science from VU Amsterdam. Here, he worked in the Theoretical Computer Science group as an Assistant Professor with a focus on denotational semantics. Following this, he worked as a Senior Researcher at KPN and as an Associate Professor at Leiden University.

Erik is an Associated Research Fellow at CWI, the Dutch National Research Institute for Mathematics and Computer Science in Amsterdam. He is Treasurer of Formal Methods Europe and is, or has been, chair and co-organizer of a significant number of symposia, workshops and other events, such as the International symposium on Formal Methods, Oxford (2018). Among others, Erik has been co-chair for QAPL 2017 and workshop chair for ETAPS 2016. He is a member of the Program Committee for various international workshops, e.g. for Foundations of Coordination Languages and Self-Adaptive Systems, Toulouse (2018) and for the workshop on Structural Operational Semantics, Beijing (2018). Erik is a member of the Advisory Board of the Springer LNCS subline on Formal Methods and frequent reviewer for a number international journals in the field. He has been co-promoter for 9 PhD students defending on topics in Denotational Semantics, Security, Probabilistic Process Algebra, and Coordination from 1994.

Vingerafdruk Duik in de onderzoeksthema's waar Erik P. de Vink actief is. Deze onderwerplabels komen voort uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

  • 2 Vergelijkbare profielen
Model checking Engineering en materiaalwetenschappen
Bisimulation Rekenkunde
Algebra Engineering en materiaalwetenschappen
Semantics Engineering en materiaalwetenschappen
Transition Systems Rekenkunde
Specifications Engineering en materiaalwetenschappen
Process Algebra Rekenkunde
Model Checking Rekenkunde

Netwerk Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.

Onderzoeksoutput 1987 2020

A formal actor-based model for streaming the future

Azadbakht, K., de Boer, F. S., Bezirgiannis, N. & de Vink, E., 1 feb 2020, In : Science of Computer Programming. 186, 22 blz., 102341.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Specification languages
Application programs
Computer programming languages

A complete axiomatization of branching bisimilarity for a simple process language with probabilistic choice: (extended abstract)

van Glabbeek, R. J., Groote, J. F. & de Vink, E. P., 4 nov 2019, The Art of Modelling Computational Systems: {A} Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (redactie). Cham: Springer, blz. 139-162 (Lecture Notes in Computer Science; vol. 11760 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Equational Theory

An axiomatization of strong distribution bisimulation for a language with a parallel operator and probabilistic choice

Groote, J. F. & de Vink, E. P., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ter Beek, M. H., Fantechi, A. & Semini, L. (redactie). Cham: Springer, blz. 449-463 15 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Equational Theory

Modelling and analysing software in mCRL2

Groote, J. F., Keiren, J. J. A., Luttik, B., de Vink, E. P. & Willemse, T. A. C., dec 2019, Eindhoven: Technische Universiteit Eindhoven. 24 blz. (Computer Science Reports; vol. 19-05)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Model checking
Software design
8 Citaties (Scopus)
18 Downloads (Pure)

The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability

Bunte, O., Groote, J. F., Keiren, J. J. A., Laveaux, M., Neele, T., de Vink, E. P., Wesselink, W., Wijs, A. & Willemse, T. A. C., 1 jan 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Vojnar, T. & Zhang, L. (redactie). Cham: Springer, blz. 21-39 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Concurrent Systems
Graphical user interfaces
Software Product Lines
Domain-specific Languages

Activiteiten 2005 2005

  • 1 Aangemelde presentatie

IPA Herfstdagen on Security (November 21-25,2005), Zwartsluis, The Netherlands

Erik de Vink (Spreker)
22 nov 2005

Activiteit: Types gesprekken of presentatiesAangemelde presentatieWetenschappelijk


Artificial intelligence




Acoustical physical uncloneable functions

Auteur: Vrijaldenhoven, S., 30 nov 2004

Begeleider: Aarts, R. (Afstudeerdocent 1), Huizing, C. (Afstudeerdocent 2) & de Vink, E. (Afstudeerdocent 2)

Scriptie/masterproef: Master


Analyzing ribosome processivity using EPT

Auteur: Blewanus, R., 31 aug 2011

Begeleider: de Vink, E. (Afstudeerdocent 1)

Scriptie/masterproef: Master


Context aware security policy enforcement CASPEr

Auteur: Han, Y., 30 nov 2005

Begeleider: de Vink, E. (Afstudeerdocent 1) & Fransen, F. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master


Context sensitive interpolation for timed process algebra

Auteur: van Niftrik, W., 31 aug 2008

Begeleider: Markovski, J. (Afstudeerdocent 1) & de Vink, E. (Afstudeerdocent 2)

Scriptie/masterproef: Master


Fault attacks on Java Card: an overview of the vulnerabilities of Java Card enabled Smart Cards against fault attacks

Auteur: Gadellaa, K., 31 aug 2005

Begeleider: de Vink, E. (Afstudeerdocent 1)

Scriptie/masterproef: Master