People
Vitaly Chipounov |
Prof. George Candea |
|||
Cristian Zamfir |
Bin Zhang |
|||
Paul Hordiienko |
Aristide Fattori |
|||
Adrian Herrera |
Petr Zankov |
|||
Alexandru-Mihai Copot |
Former Collaborators
Volodymyr Kuznetsov
Co-author of the S2E engine
Radu Banabic
Testing distributed systems
Ana Sima
String solver integration
Daniel Mahu
Cloud infrastructure, static analysis
Stefan Bucur
Core symbolic execution engine, constraint solving, parallel symbolic execution,
state merging, symbolic execution of interpreted languages
Andy Roulin
Guest analysis tools, hardware virtualization
Yoan Blanc
Cloud infrastructure
Roger Michoud
Reliability testing
Damien Engels
Toolchain integration
Francesco Fucci
Fast dynamic binary interpreter
João Carreira
Lightweight snapshotting
Andreas Kirchner
First S2E ARM prototype