Since October 2017, I am a PhD student 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".
|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|
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.