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
    • 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.