CAV Program Committee
The program committee of CAV 2014 is shown below.
- Rajeev Alur (University of Pennsylvania, USA)
- Domagoj Babic (Google, USA)
- Gogul Balakrishnan (University of Wisconsin, USA)
- Armin Biere (Johannes Kepler University of Linz, Austria) - chair
- Nikolaj Bjorner (Microsoft Research, USA)
- Roderick Bloem (Graz University of Technology, Austria) - chair
- Ahmed Bouajjani (LIAFA, University Paris Diderot, France)
- Aaron Bradley (University of Colorado Boulder, USA)
- Pavol Cerny (University of Colorado Boulder, USA)
- Koen Claessen (Chalmers University of Technology, Sweden)
- Byron Cook (Microsoft Research, UK)
- Azadeh Farzan (University of Toronto, Canada)
- Bernd Finkbeiner (Saarland University, Germany)
- Jasmin Fisher (Microsoft Research, UK)
- Mike Gordon (University of Cambridge, UK)
- Orna Grumberg (Technion - Israel Institute of Technology, Israel)
- Leopold Haller (University of Oxford, UK)
- Keijo Heljanko (Aalto University, Finland)
- William Hung (Synopsys Inc, USA)
- Somesh Jha (University of Wisconsin, USA)
- Susmit Jha (Intel, USA)
- Barbara Jobstmann (EPFL, Jasper DA, and CNRS-Verimag, Switzerland and France)
- Bengt Jonsson (Uppsala University, Sweden)
- Laura Kovacs (Chalmers University of Technology, Sweden)
- Daniel Kroening (Oxford University, UK)
- Marta Kwiatkowska (University of Oxford, UK)
- Kim Guldstrand Larsen (Aalborg University, Denmark)
- Joao Marques-Silva (University College Dublin, Ireland)
- Kedar Namjoshi (Bell Labs, USA)
- Corina Pasareanu (CMU and NASA Ames Research Center, USA)
- Doron Peled (Bar Ilan University, Israel)
- Pavithra Prabhakar (IMDEA Software Institute, Spain)
- Jean-Francois Raskin (Universit Libre de Bruxelles, Belgium)
- Koushik Sen (University of California Berkeley, USA)
- Natasha Sharygina (Universita' della Svizzera Italiana, Switzerland)
- Nishant Sinha (IBM Research, India)
- Anna Slobodova (Centaur Technology, USA)
- Fabio Somenzi (University of Colorado Boulder, USA)
- Cesare Tinelli (University of Iowa, USA)
- Thomas Wahl (Northeastern University, USA)
- Georg Weissenbacher (Vienna University of Technology, Austria)
- Eran Yahav (Technion - Israel Institute of Technology, Israel)