--- a/index.html	Mon Oct 01 22:40:21 2012 +0100
+++ b/index.html	Fri Oct 19 09:40:00 2012 +0100
@@ -152,7 +152,9 @@
 <A HREF="http://formes.asia/cpp">CPP'11</A> (member of PC),
 <A HREF="http://www.rdp2011.uns.ac.rs/rta/">RTA'11</A> (member of PC),
 <A HREF="http://lfmtp11.cs.umn.edu">LFMTP'11</A> (member of PC)
-<BR>
+<P>
+
+<B>Current PostDocs</B> Chunhan Wu, Zhenjiang Qian<BR>
 
 </TD>
 </TR>

--- a/teaching.html	Mon Oct 01 22:40:21 2012 +0100
+++ b/teaching.html	Fri Oct 19 09:40:00 2012 +0100
@@ -91,7 +91,7 @@
 (2007, ENS Cachan, France) Formalization of Generative Unbinding</li>
 <li>Akhil Junghare (2011-2012, King's) Lexing and Parsing using Derivatives</li>
 <li>Darius Hodaei (2011-2012, King's) A Compiler for System F</li>
-<li>Jian Jiang (2011-2012, King's) Suffix Array Sorting</li>
+<li>Jian Jiang (2011-2012, King's) Suffix Array Sorting, got the prize of the best overall MSc thesis</li>
 </ul>
 
 </TD>