• 192 Citations
  • 9 h-Index
20052018
If you made any changes in Pure these will be visible here soon.

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.

  • 47 Similar Profiles
Testing Engineering & Materials Science
Model checking Engineering & Materials Science
Specifications Engineering & Materials Science
book review Social Sciences
Explosions Engineering & Materials Science
Chemical analysis Engineering & Materials Science
earning a doctorate Social Sciences
Euro Social Sciences

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

Research Output 2005 2018

Op zoek naar denkactiviteiten: Bespreking eindexamens nieuwe stijl

Caspers, W. & Timmer, M. Sep 2018 In : Nieuw archief voor wiskunde. 5/19, 3, p. 228-232

Research output: Contribution to journalArticle

curriculum

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

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

Research output: Contribution to conferenceAbstract

Open Access
File
Students
Teaching
Heuristic algorithms
Computer programming
Computer programming languages

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: Contribution to journalBook/Film/Article review

Open Access
File
book review
mathematics
school

Introductie van het inproduct

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

Research output: Contribution to journalArticle

Open Access
File
Curriculum

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: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Testing
Automata theory
Specifications

Prizes

File

IPA Dissertation Award 2013

Mark Timmer (Recipient), 5 Nov 2014

Prize

File
earning a doctorate
field research
certification
reward
recipient

Overijssel PhD Award 2014

Mark Timmer (Recipient), 28 Nov 2014

Prize

File
Euro

Activities 2010 2017

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

Wiskundeonderwijs in het licht van het PWN-visiedocument 2025

Verhoef, N. C. (Speaker), Timmer, M. (Speaker)
26 Nov 2014

Activity: Oral presentation

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