Erik de Vink
Research
I am currently interested in formal modelling and analysis in
Systems Biology
and in formal methods for
Dynamic System Adaptation.
More specifically I focus at present in Systems Biology on time scale
differentation in discrete-value regulatory networks, biology inspired
rewriting and quantitatve modeling of biological assembly processes. As to
Dynamic System Adaptation, Paradigm and Reo are two languages that have my
interest. I aim to develop methods for the modelling dynamic migration
trajectories and related verification techniques.
I mainly use the
mCRL2
and
Prism
modelcheckers for tool support.
-
MeCBIC 2013:
7th Workshop on Membrane Computing and Biologically Inspired Process Calculi,
Riga, July 7, 2013, a workshop of
ICALP 2013.
-
RDP 2013:
7th International Conference on
Rewriting, Deduction, and Programming comprising
RTA Rewriting Techniques and Applications, and
TLCA Typed Lambda Calculi and Applications,
Eindhoven, 24-28 June 2013.
-
SFM-13:DS:
13th International School on Formal Methods for the Design of
Computer, Communication and Software Systems devoted to
Dynamical Systems,
Bertinoro, 17-22 June 2013.
-
CompMod 2013:
4th International Workshop on Computational Models for Cell Processes,
Turku, June 11, 2013, a workshop of
iFM 2013.
-
CS2Bio'13:
4th International Workshop on Interactions between Computer Science and
Biology, Florence, June 6, 2013, a workshop of
DisCoTec 2013.
-
FSEN 2013:
5th International Conference on Fundamentals of Software Engineering,
Tehran, April 24-26, 2013.
-
FME AGM 2013:
FME Annual General Meeting 2013: A Celebration of Formal Methods,
CWI, Amsterdam, March 8, 2013.
-
MeCBIC 2012:
6th Workshop on Membrane Computing and Biologically Inspired Process Calculi,
Newcastle, September 8, 2012,
-
WS-FM'12:
9th International Workshop on Web Services and Formal Methods,
Tallinn, September 6-7, 2012.
-
FMSPLE 2012: 3rd International Workshop on Formal Methods and Analysis in Software Product Line Engineering, Salvador, Brazil, 2 September, 2012
-
ISARCS 2012:
3rd International ACM Sigsoft Symposium on Architecting Critical Systems
Bertinoro, June 26-28, 2012.
-
CS2Bio'12:
3rd International Workshop on Interactions between Computer Science and
Biology, Stockholm, June 16, 2012, a satelite event of
DisCoTec 2012.
-
ICE 2012:
5th Interaction and Concurrency Experience,
Stockholm, June 16, 2012, a satelite event of
DisCoTec 2012.
- Transactions on Computational Systems Biology:
special issue on "Computational Models for Cell Processes".
-
Publications,
Paradigm page,
PhD students,
and
professional activities
Teaching
-
2IF35 Formal Modelling in Cell Biology
-
2IA05 Functioneel programmeren
-
2IT70 Automata and process theory
-
2M150 Complexiteitstheorie
-
2IT16 Eindige automaten en processen
-
OOTI System Validation Course
-
Master Thesis Projects
Miscellaneous
-
Roparun 2009 (in Dutch)
-
TUE Telephone Directory
Contact Information
Erik de Vink
Department of Mathematics and Computer Science, Technische Universiteit
Eindhoven, Den Dolech 2, Eindhoven
Room MF 7.122
Travel directions
phone: +31-40-2473146
fax: +31-40-2476685
postal address: P.O. Box 513, 5600 MB Eindhoven, the Netherlands
PGP Public Key,
fingerprint E047 1940 0FA9 E45C F21D 13B7 671A 58C8 01D5 4069
I am also affiliated with the CWI, Centrum Wiskunde & Informatica
in Amsterdam. See the homepage of
SEN3.