Previous Members
Previous members:
- Nikolaj Bjorner, Microsoft Research, USA
- Jonathan Bowen, London South Bank University, UK
- Alessandro Cimatti, FBK Trento, Italy
- Rance Cleaveland, Maryland University, USA
- Jan Friso Groote, Eindhoven University, The Netherlands
- John Hatcliff, Kansas State University, USA
- Klaus Havelund, Jet Propulsion Laboratory/NASA, USA (Chair)
- Connie Heitmeyer, Naval Research Laboratory, USA
- Gerwin Klein, University of NewSouth Wales, Australia
- Thierry Lecompte, ClearSy, France
- Cesar Munoz, AWS, USA
- Colin O’Halloran, D-RisQ Ltd., UK
- Jan Peleska, Bremen University, Germany
- Shaz Qadeer, Facebook, USA
- Markus Völter, Völter Ingenieurbüro, Germany