Diane Gallois-Wong

Since October 2017, I am a PhD student in Computer Science, in the VALS team of LRI (Laboratoire de Recherche en Informatique) at Université Paris-Sud and the Toccata team of Inria Saclay - Île-de-France.
My supervisors are Sylvie Boldo and Thibault Hilaire.
I work on formal proof for digital filters, to ensure that when they are implemented using floating-point or fixed-point numbers, the rounding errors and overflows are under control. Here is a link to the formalization, which uses the Coq proof assistant.
My PhD is funded by the "Fondation CFM pour la Recherche".


Email: diane.gallois-wong@lri.fr
Post: LRI, Bât 650 Ada Lovelace, Université Paris Sud, 91405 Orsay Cedex, France
Location: Office 68, Bat 650 South, Rue Noetzlin, 91190 Gif sur Yvette, France


International journals:

International conferences:

National conferences:



Research Internships


TP are practicals on computer and TD are practicals with pen and paper.
Mn is n-th year of a 2-year Master program, and Ln is the same for a 3-year Bachelor program.