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.

homepage