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.

  • WS-FM'12: 9th International Workshop on Web Services and Formal Methods Tallinn, September 6-7, 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.

  • WTNC 2010: Workshop on Natural Computing and Graph Transformations, satellite event to the ICGT 2010, Enschede, the Netherlands, October 2, 2010.
  • CMSB 2010: 8th International Conference on Computational Methods in Systems Biology, Trento, September 29-October 1, 2010.
  • MeCBIC 2010: 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi, Jena, August 23-24, 2010.
  • FOCLASA 2010: 9th International Workshop on the Foundations of Coordination Languages and Software Architectures, a satellite workshop of CONCUR 2010, Paris, September 4, 2010.
  • ISARCS 2010: 1st International Symposium on Architecting Critical Systems, Prague, June 23-25, 2010.
  • AMAST 2010: 13th International Conference on Algebraic Methodology and Software Technology, Manoir St-Castin, Quebéc, June 23-26, 2010.
  • CS2Bio'10: 1st International Workshop on Interactions between Computer Science and Biology, Amsterdam, June 10, 2010, affiliated with DisCoTec'10.
  • ICE 2010: the 3rd Interaction and Concurrency Experience, Amsterdam, June 10, 2010 affiliated with DisCoTec'10.
  • FBTC 2010: 3rd International Workshop From Biology To Concurrency and Back, March 27, 2010, a satelite event of ETAPS 2010.

  • Publications, Paradigm page, and professional activities

    • Teaching

  • 2IF35 Formal Modelling in Cell Biology
  • 2IT16 Eindige automaten en processen
  • 2M150 Complexiteitstheorie
  • OOTI System Validation Course
  • Master Thesis Projects

    • Miscellaneous

  • Egmond Half Marathon  (in Dutch)
  • Roparun 2009   (in Dutch)
  • TUE Telephone Directory
    • Google

    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.

    I was previously affiliated with the LIACS. See www.liacs.nl/~devink.