Organizing Committee

The KLEE Workshop is organized by the Software Reliability Group at Imperial College London, in particular by:

• Cristian Cadar (chair)
• Frank Busse (local co-chair)
• Timotej Kapus (local co-chair)
• Andrea Mattavelli
• Hassan Patel
• Georgina Tennant