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