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

    Interview in NWT magazine

    October 9, 2013 less than 1 minute read

    Last year I was interviewed for NWT magazine about the verification work we have done on the detectors of the Large Hadron Collider at CERN.

    See Supersoftware, NWT Magazine, nr.11, November 2012, p. 58-63. You can find the part about CERN on page 62.

    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
    © 2025 Jeroen Keiren. Powered by Jekyll & Minimal Mistakes.