In de verdediging: Efficient Modelling, Generation and Analysis of Markov Automata

Geertje M. Hek, Mark Timmer

    Research output: Contribution to journalArticleProfessional

    5 Downloads (Pure)

    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 languageUndefined
    Pages (from-to)25-26
    Number of pages2
    JournalNieuw archief voor wiskunde
    Volume15
    Issue number1
    Publication statusPublished - Mar 2014

    Keywords

    • EWI-24660
    • IR-90585
    • METIS-304061

    Cite this