Jérôme Feret earned his PhD in computer science at Ecole Normale Superieure in Paris. His specialty is abstract interpretation
. He is a co-inventor of Astree
, a static analyzer that was used to prove the correctness of the fly-by-wire system of the Airbus A380. He is exercising his formal skills and programming techniques in designing and building cutting-edge tools for the representation and static analysis of complex combinatorial signaling systems in molecular biology.