Author details

Jérôme Feret
Also published under: Jerome Feret
Affiliation
Space Engineering Department
Delft University of Technology
Delft, HS, The Netherlands
Biography
Jérôme Feret entered École Normale Supérieure in 1997, where he received his training in theoretical computer sciences, with a focus on semantics of programming languages and abstract interpretation. In 2005, he defended his PhD about abstract interpretation of mobile systems, under the supervision of Prof. Patrick Cousot. He has been trained in applications of computer sciences in systems biology by Vincent Danos since 2006, and by Walter Fontana in 2007. He joined INRIA as a junior researcher in 2008. His research interest is to extend the scope of abstract interpretations by developing new applications. He is one of the co-authors of the ASTRÉE static analyser, which is used to prove the absence of run time errors in critical embe... Author's Published Works