diff -r 653f9fc5de59 -r 7acf8ff8cb0d teaching.html --- a/teaching.html Fri Oct 19 09:40:00 2012 +0100 +++ b/teaching.html Sun Nov 04 08:45:04 2012 +0000 @@ -91,7 +91,8 @@ (2007, ENS Cachan, France) Formalization of Generative Unbinding
  • Akhil Junghare (2011-2012, King's) Lexing and Parsing using Derivatives
  • Darius Hodaei (2011-2012, King's) A Compiler for System F
  • -
  • Jian Jiang (2011-2012, King's) Suffix Array Sorting, got the prize of the best overall MSc thesis
  • +
  • Jian Jiang (2011-2012, King's) Suffix Array Sorting, +received the prize of the best overall MSc thesis