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