Systems Biology at Harvard Medical School

Home | People | Research | Publications | Contact | Internal
Home | Contact | Faculty
Home | HMS |
subglobal4 link | subglobal4 link | subglobal4 link | subglobal4 link | subglobal4 link | subglobal4 link | subglobal4 link
subglobal5 link | subglobal5 link | subglobal5 link | subglobal5 link | subglobal5 link | subglobal5 link | subglobal5 link
subglobal6 link | subglobal6 link | subglobal6 link | subglobal6 link | subglobal6 link | subglobal6 link | subglobal6 link
subglobal7 link | subglobal7 link | subglobal7 link | subglobal7 link | subglobal7 link | subglobal7 link | subglobal7 link
subglobal8 link | subglobal8 link | subglobal8 link | subglobal8 link | subglobal8 link | subglobal8 link | subglobal8 link

Fontana Laboratory — Alumni


  Jérôme Feret


   

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