--- 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 @@
 <li><A HREF="http://www.lsv.ens-cachan.fr/~arnaud">Mathilde Arnaud</A> 
 (2007, ENS Cachan, France) Formalization of Generative Unbinding</li>
 <li>Akhil Junghare (MSc 2011-2012, King's) Lexing and Parsing using Derivatives</li>
-<li>Darius Hodaei (MSc 2011-2012, King's) A Compiler for System F</li>
+<li>Darius Hodaei (MSc 2011-2012, King's, works now at Microsoft Skype in London)
+A Compiler for System F</li>
 <li>Jian Jiang (MSc 2011-2012, King's) Suffix Array Sorting, 
 received the prize of the best MSc thesis in 2012</li>
 <li>Mateusz Bieniek (BSc 2012-2013) X86-Code Generator for a small Compiler</li>
@@ -419,7 +420,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Sat Jun 15 09:03:38 EDT 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Wed Aug  7 11:04:18 BST 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>