No photo of Mark Timmer

Mark Timmer

dr.ir.

  • 176 Citations
  • 9 h-Index
20052017
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.

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

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: 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

Boekbespreking Birgit van Dalen en Quintijn Puite: Wanneer is Cheryl jarig? + 99 andere wiskunderaadsels

Timmer, M. Jun 2016 In : Nieuw archief voor wiskunde. 5/17, 2, p. 4-4 1 p.

Research output: Contribution to journalBook/Film/Article review

Open Access
File

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