Notable Talks
  1. Will future cars have formally verified powertrain control software?
    HSCC 2015 Keynote
        Slides     Abstract
  2. How can CPS education provide what the industry needs?
    CPS Education Workshop
        Slides   
  3. Making Formal Methods work in Industrial Practice
    PRECISE Seminar, October 2014
        Slides