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

    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.