# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1375869879 -3600
# Node ID cc06aaf3a3a5955ebaaee3e0dbcd6cce7938e289
# Parent  2bd9b85c0105ddc45beb1212050f09a436d3da84
added to teaching

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 @@
 <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>