diff -r 2bd9b85c0105 -r cc06aaf3a3a5 teaching.html
--- a/teaching.html Wed Jul 31 05:46:37 2013 +0100
+++ b/teaching.html Wed Aug 07 11:04:39 2013 +0100
@@ -90,7 +90,8 @@
Mathilde Arnaud
(2007, ENS Cachan, France) Formalization of Generative Unbinding
Akhil Junghare (MSc 2011-2012, King's) Lexing and Parsing using Derivatives
-Darius Hodaei (MSc 2011-2012, King's) A Compiler for System F
+Darius Hodaei (MSc 2011-2012, King's, works now at Microsoft Skype in London)
+A Compiler for System F
Jian Jiang (MSc 2011-2012, King's) Suffix Array Sorting,
received the prize of the best MSc thesis in 2012
Mateusz Bieniek (BSc 2012-2013) X86-Code Generator for a small Compiler
@@ -419,7 +420,7 @@
- Last modified: Sat Jun 15 09:03:38 EDT 2013
+ Last modified: Wed Aug 7 11:04:18 BST 2013
[Validate this page.]