VeriSure Program Committee
The program committee of VeriSure 2014 is shown below.
- Paul Curzon (Queen Mary University of London)
- Ewen Denney (NASA Ames Research Center)
- Felicita Di Giandomenico (ISTI-CNR)
- Leo Freitas (University of Newcastle Upon Tyne)
- Connie Heitmeyer (Naval Research Laboratory)
- Hardi Hungar (DLR)
- Tim Kelly (University of York)
- Yoshiki Kinoshita (Kanagawa University)
- Florent Kirchner (CEA LIST)
- Simin Nadjm-Tehrani (Linkopings Universitet)
- Michael Paulitsch (Airbus)
- John Rushby (SRI International) - chair
- Mark Staples (NICTA and UNSW)
- Wilfried Steiner (TTTech Computertechnik AG)
- Willem Visser (Stellenbosch University)
- Naijun Zhan (Chinese Academy of Science)