--- a/index.html Tue Aug 05 17:16:41 2014 +0100
+++ b/index.html Wed Aug 06 13:52:13 2014 +0100
@@ -157,8 +157,8 @@
<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> (PC co-chair)
<P>
-<B>Current RA</B> Chunhan Wu<BR>
-<B>Former RAs</B> <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Cezary Kaliszyk</A>,
+<B>Current PhD</B> Fahad Ausaf<BR>
+<B>Former RAs</B> Chunhan Wu, <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Cezary Kaliszyk</A>,
<A HREF="http://dpt-info.u-strasbg.fr/~narboux/">Julien Narboux</A>
</TD>
</TR>
@@ -330,7 +330,7 @@
</TABLE>
<P>
-<!-- hhmts start --> Last modified: Tue Mar 25 16:12:01 GMT 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Wed Aug 6 13:51:28 BST 2014 <!-- hhmts end -->
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
</BODY>
</HTML>