Abstract
Sinds september 2012 is Mark Timmer (parttime) wiskundedocent aan het Carmel College Salland te Raalte, waar hij terechtkwam door deel te nemen aan het project ‘Promovendi voor de klas’. Dit hield in dat hij al tijdens zijn promotietraject de eerstegraads lesbevoegdheid voor wiskunde heeft behaald. Ter compensatie voor de tijd waarin hij voor de klas stond en werkte aan zijn onderwijsbevoegdheid kreeg hij een aantal maanden verlenging van zijn promotietijd aangeboden.
Op 13 september 2013 is Timmer gepromoveerd in de theoretische informatica aan de Universiteit Twente. Hij schreef zijn proefschrift Efficient Modelling, Generation and Analysis of Markov Automata onder begeleiding van prof.dr.ir. Joost-Pieter Katoen, prof.dr. Jaco van de Pol en dr. Mariëlle Stoelinga, en studeerde tevens af als wiskundedocent bij dr. Nellie Verhoef.
| Original language | Undefined |
|---|---|
| Pages (from-to) | 25-26 |
| Number of pages | 2 |
| Journal | Nieuw archief voor wiskunde |
| Volume | 15 |
| Issue number | 1 |
| Publication status | Published - Mar 2014 |
Keywords
- EWI-24660
- IR-90585
- METIS-304061
Cite this
Hek, G. M., & Timmer, M. (2014). In de verdediging: Efficient Modelling, Generation and Analysis of Markov Automata. Nieuw archief voor wiskunde, 15(1), 25-26.