Personal profile

Education / Academic qualification

Master, University of Twente

1 May 201030 Aug 2011

PhD, University of Twente

1 Sep 200813 Sep 2013

Master, University of Twente

1 Sep 200525 Jun 2008

Bachelor, University of Twente

1 Sep 200231 Aug 2005

External positions


1 Aug 2012 → …

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 4 Similar Profiles
Confluence Mathematics
Automata Mathematics
Model checking Engineering & Materials Science
Specifications Engineering & Materials Science
Process algebra Mathematics
Probabilistic automata Mathematics
Petri nets Engineering & Materials Science
Bisimulation Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2005 2017

Affordances of the 'branch and bound' paradigm for developing computational thinking

van der Meulen, J. & Timmer, M. Jul 2017 1 p.

Research output: Other research outputAbstract


Boekbespreking Ronald Meester en Joost Hulshof: Wiskunde in je vingers: Hogere wiskunde omlaaghalen

Caspers, W. & Timmer, M. Mar 2017 In : Nieuw archief voor wiskunde. 5/18, 1, p. 67-68 2 p.

Research output: PopularBook/Film/Article review

Introductie van het inproduct

Timmer, M. & Coenen, T. J. M. May 2017 In : Euclides. 92, 6, p. 4-7 4 p.

Research output: ProfessionalArticle

Testing Divergent Transition Systems

Brinksma, E., Stoelinga, M. & Timmer, M. 25 Jul 2017 Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingolfsdottir, A., Legay, A. & Mardare, R. (eds.). Springer, p. 339 366 p. (Lecture Notes in Computer Science; vol. 10460)

Research output: Scientific - peer-reviewChapter

Automata theory


IPA Dissertation Award 2013

Mark Timmer (Recipient), 5 Nov 2014


Overijssel PhD Award 2014

Mark Timmer (Recipient), 28 Nov 2014


Activities 2012 2017

  • 2 Oral presentation
  • 1 Editorial work
  • 1 Visiting an external academic institution

Analytische meetkunde door een synthetische bril

Timmer, M. (Speaker), Verhoef, N. C. (Speaker)
3 Oct 2013

Activity: Oral presentation

Nieuw archief voor wiskunde (Journal)

Timmer, M. (Member of editorial board)
Dec 2013 → …

Activity: Editorial work

Saarland University

Timmer, M. (Visiting researcher)
21 May 201225 May 2012

Activity: Visiting an external academic institution