VSTTE PROGRAM COMMITTEE
The program committee of VSTTE 2014 is shown below.
- Elvira Albert (Complutense University of Madrid)
- Domagoj Babic (Google)
- Sandrine Blazy (IRISA - Université Rennes 1)
- Alessandro Cimatti (FBK-irst)
- Ernie Cohen (university of Pennsylvania)
- Dimitra Giannakopoulou (NASA Ames) - chair
- Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University)
- Klaus Havelund (Jet Propulsion Laboratory, California Institute of Technology)
- Mats Heimdahl (University of Minnesota)
- Andrew Ireland (Heriot-Watt University)
- Bart Jacobs (Katholieke Universiteit Leuven, Belgium)
- Rajeev Joshi (Laboratory for Reliable Software, Jet Propulsion Laboratory)
- Temesghen Kahsai (Dep. of Computer Science)
- Moonzoo Kim (KAIST)
- Daniel Kroening (Oxford University) - chair
- Francesco Logozzo (Microsoft Research)
- Tiziana Margaria (Univ. Potsdam)
- Peter Müller (ETH Zürich)
- Shiva Nejati (University of Luxembourg)
- Elizabeth Polgreen (University of Oxford) - chair
- Shaz Qadeer (Microsoft)
- Zvonimir Rakamaric (University of Utah)
- Natarajan Shankar (SRI) - chair
- Nishant Sinha (IBM Research Labs)
- Cesare Tinelli (The University of Iowa)
- Arnaud Venet (CMU / NASA Ames Research Center)
- Jim Woodcock (University of York)
- Karen Yorav (IBM Haifa Research Lab)