معرفی
Mark Timmer is an Associate Professor at the University of Twente, affiliated with the ELAN Teacher Development department. He holds a PhD in Efficient Modelling, Generation and Analysis of Markov Automata (2013), an MSc in Science Education and Communication (2011), another MSc in Computer Science (2008), and a BSc in Telematics (2005), all from the University of Twente. His research spans computational thinking in mathematics education, formal methods in computer science, and curriculum development. He has received awards including the IPA Dissertation Award (2013) and Overijssel PhD Award (2014).
His work emphasizes integrating computational thinking into secondary education, particularly through algorithmic concepts like Dijkstra’s algorithm and K-means clustering. He also explores formal verification techniques for probabilistic systems, contributing to the analysis of Markov automata. Timmer actively participates in international educational initiatives, such as the ICME-15 congress, and collaborates with educators to improve teaching methods.
Publications highlight his dual focus on theoretical computer science (e.g., confluence reduction in Markov models) and practical educational applications (e.g., lesson study implementations). He has authored book reviews and contributed to educational journals, emphasizing pedagogical innovation and critical analysis of teaching materials.
