# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1350636000 -3600
# Node ID 653f9fc5de595af2804b23cf732603102b572353
# Parent  ad63f827239716a89bb0e9b1be43cb93456a9ab5
tuned

diff -r ad63f8272397 -r 653f9fc5de59 index.html
--- 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>
diff -r ad63f8272397 -r 653f9fc5de59 teaching.html
--- 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>