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 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".
-
CompMod 2011:
3rd International Workshop on Computational Models for Cell Processes,
Aachen, September 10, 2011, a satelite event of
CONCUR 2011.
-
TTSS 2011:
5th International Workshop on
Harnessing Theories for Tool Support in Software, Oslo, September 2011.
-
ISARCS 2011:
2nd International ACM SIGSOFT Symposium on Architecting Critical Systems,
Boulder, Colorado, June 20-24, 2011.
-
CS2Bio 2011:
2nd International Workshop on Interactions between Computer Science and
Biology, Reyjavik, June 9, 2011, a satelite event of
DisCoTec 2011.
-
ICE 2011:
4th Interaction and Concurrency Experience,
Reyjavik, June 9, 2011, a satelite event of
DisCoTec 2011.
-
FSEN 2011:
4th International Conference on Fundamentals of Software Engineering,
Tehran, April 20-22, 2011.
-
IPA Spring Days 2011:
Spring Days on Bioinformatics of the Dutch Research School IPA,
Vlijmen, the Netherlands, April 11-15, 2011.
-
QAPL 2011:
9th Workshop on Quantitative Aspects of Programming Languages,
Saarbrucken, April 1-3, 2011.
-
Publications,
Paradigm page,
PhD students,
and
professional activities
Teaching
-
2IF35 Formal Modelling in Cell Biology
-
2IT15 Automata and process theory
-
2IT16 Eindige automaten en processen
-
2M150 Complexiteitstheorie
-
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 HG 6.72
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, the Centre for Mathematics and Computer
Science in Amsterdam. See the homepage of
SEN3.