• Skip to primary navigation
  • Skip to content
  • Skip to footer
Jeroen Keiren
  • Home
  • Research
  • Publications
  • Teaching
  • Students
  • Service
  • Contact
  • Blog
    Jeroen Keiren

    Jeroen Keiren

    Formal methods researcher at TU/e

    • Netherlands
    • Website
    • Email
    • Twitter

    More on verifying CERN’s LHC

    October 9, 2013 less than 1 minute read

    An interview with my promotor Jan Friso Groote and copromotor Tim Willemse, highlighting some of our achievements at CERN, appeared in International Innovation.

    See Under control?, International Innovation: disseminating science, research and technology, August 2013, p. 30-32 for the full interview.

    Updated: October 9, 2013

    Twitter Facebook LinkedIn
    Previous Next

    You May Also Enjoy

    On Games and Simulations

    February 23, 2017 9 minute read

    This is a guest blog by Hans-Dieter Hiep, a student from Vrije Universiteit Amsterdam who worked with me to build a GUI for our work on game-based (bi)simula...

    A MOOC on system validation is born

    September 12, 2016 less than 1 minute read

    Exciting news! Today the MOOC on system validation that I have developed with Mohammad Reza Mousavi from Halmstad University has started. The MOOC is based o...

    Recording a MOOC on System Validation: Some Experiences

    August 6, 2015 3 minute read

    Recently I visited Halmstad University Together with Mohammad Mousavi, we recorded a MOOC (Massive Open Online Course) on the subject of system validation. T...

    WSFM/BEAT 2015 Deadline Extension

    June 22, 2015 less than 1 minute read

    This is just a quick note about WSFM/BEAT 2015. The submission deadlines have been extended by a couple of days, so you can still submit.

    • Feed
    © 2022 Jeroen Keiren. Powered by Jekyll & Minimal Mistakes.