Menu

Jeroen Keiren

Skip to content
  • Jeroen J.A. Keiren
  • Activities
  • Publications
  • Talks
  • Teaching
    • Past teaching
    • Supervision
    • Automata & Complexity
    • System Validation (IN4387)
  • Press
  • Contact
  • Blog

Jeroen Keiren

Skip to content
  • Jeroen J.A. Keiren
  • Activities
  • Publications
  • Talks
  • Teaching
    • Past teaching
    • Supervision
    • Automata & Complexity
    • System Validation (IN4387)
  • Press
  • Contact
  • Blog
October 9, 2013October 28, 2013 Press parameterised Boolean equation systems parity games thesis verification

PhD dissertation in Cursor

cursor_2_2013_NL

I was interviewed about my PhD thesis for Cursor, the biweekly magazine of Eindhoven University of Technology. In the interview I answer four high-level questions about my research.

See page 9 in the Dutch version, or page 26 in the English version or Cursor nr. 2, 2013.

Post navigation

Previous
Next

Recent Posts

  • wp-publications example September 25, 2018
  • On Games and Simulations February 23, 2017
  • A MOOC on system validation is born September 12, 2016
  • Recording a MOOC on System Validation: Some Experiences August 6, 2015
  • WSFM/BEAT 2015 Deadline Extension June 22, 2015

Meta

  • Log in
  • Entries RSS
  • Comments RSS
  • WordPress.org
Proudly powered by WordPress | Theme: Harmonic by WordPress.com.