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

Wiskundedocent

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.

  • 3 Similar Profiles
Automata Mathematics
Specifications Engineering & Materials Science
Model Mathematics
Confluence Mathematics
Model checking Engineering & Materials Science
Testing Engineering & Materials Science
Specification Mathematics
State space 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

student
thinking
paradigm
project
problem

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

Testing
Specifications
Automata theory

Prizes

IPA Dissertation Award 2013

Mark Timmer (Recipient), 5 Nov 2014

Prize

Overijssel PhD Award 2014

Mark Timmer (Recipient), 28 Nov 2014

Prize

Activities 2012 2017

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

Nieuw archief voor wiskunde (Journal)

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

Activity: Editorial work

Analytische meetkunde door een synthetische bril

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

Activity: Oral presentation

Saarland University

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

Activity: Visiting an external academic institution