diff -r a5eadfc6cddb -r 62f9ba119af2 index.html
--- a/index.html	Sat Nov 29 21:52:21 2014 +0000
+++ b/index.html	Sun Nov 30 10:22:39 2014 +0000
@@ -173,6 +173,9 @@
 <TR><TD><A HREF="http://www-sop.inria.fr/members/Yves.Bertot/">Yves Bertot</A></TD>
     <TD>INRIA, France</TD>
 </TR>
+<TR><TD><A HREF="https://www.irisa.fr/celtique/blazy/index.html">Sandrine Blazy</A></TD>
+    <TD>IRISA, France</TD>
+</TR>
 <TR><TD><A HREF="http://cs.au.dk/~birke/">Lars Birkedal</A></TD>
     <TD>Aarhus University, Denmark</TD>
 </TR>