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 fix-point numbers, the rounding errors and overflows are under control.
My PhD is funded by the "Fondation CFM pour la Recherche".

Contact

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

Publications

Talks

Research Internships

Teaching

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.