Cristian Cadar
Professor at Imperial College London, UK, passionate about making software development more reliable automatically. Cristian's research has been recognised with several prestigious awards, including the IEEE New Directions Award, the BCS Roger Needham Award, and the Humboldt Research Award. He is the principal maintainer of KLEE, a popular tool which has found many issues in open-source software and is widely used in industry.
Frank Busse
With over a decade of expertise in symbolic execution and program testing, Frank is passionate about uncovering software vulnerabilities and ensuring code reliability. His research background drives innovative approaches to finding bugs, improving software quality, and advancing the field of automated testing.
Martin Nowack
With more than 10 years of experience in software development across the software stack and a PhD in the area of software reliability, Martin has become one of the go-to experts in automatic bug finding. For more than 5 years, he has been maintaining and contributing to the leading open-source project in dynamic software analysis, KLEE. His thought-through solutions bring customers ease of mind when testing their software.
Daniel Schemmel
Before Klovo, Daniel spent a decade researching how to make automated testing with symbolic execution viable for real-world programs. His work encompasses concurrency, memory management and liveness analysis, with a focus on the nitty-gritty details of practical C and C++ programs.