--- a/teaching.html	Wed Sep 03 18:52:08 2014 +0100
+++ b/teaching.html	Fri Sep 05 16:26:51 2014 +0100
@@ -88,7 +88,7 @@
 Induction Principles for Alpha-Equated Lambda-Terms
 (the paper coming out of this work was presented at CADE)</li>
 <li><A HREF="http://www.lsv.ens-cachan.fr/~arnaud">Mathilde Arnaud</A> 
-(2007, ENS Cachan, France) Formalization of Generative Unbinding</li>
+(2007, ENS Cachan, France, works now at the CEA in Saclay, France) Formalization of Generative Unbinding</li>
 <li>Akhil Junghare (MSc 2011-2012, King's, mark: 68%) Lexing and Parsing using Derivatives</li>
 <li>Darius Hodaei (MSc 2011-2012, King's, mark: 88%, works now at Microsoft Skype in London)
 A Compiler for System F</li>
@@ -100,7 +100,8 @@
 <li>Biljana Naumova (BSc 2012-2013, King's) Regular Expression Equivalence Checking using Asperti's Algorithm</li>
 <li>Spencer Jevon (BSc 2012-2013, King's, mark: 73%) Automata Minimisation using Brzozowski's Algorithm</li>
 <li>Maciej Surmacz (MSc 2012-2013, King's) A Student Polling System</li>
-<li>Syed Fahad Jafri (MSc 2012-2013, King's, mark: 78%) MS IL Code Generator for a Simple Compiler</li>
+<li>Fahad Ausaf (MSc 2012-2013, King's, mark: 78%, is now doing a PhD at King's under my supervison)
+MS IL Code Generator for a Simple Compiler</li>
 <li>Schwit Janwityanujit (MSc 2012-2013, King's) Syntax Highlighting in Web-Browsers</li>
 <li>Mark Sangster (MSci 2013-2014, King's, mark: 80%) Regular Expression Matching and Partial Derivatives</li>
 <li>Lisethe Sanmartin (BSc 2013-2014, King's), Raspberry Pi Weather Station</li>
@@ -109,7 +110,7 @@
  Implementation of a Distributed Clock-Synchronisation Algorithm
 developed at NASA</li>
 <li>Ben Lertlumprasertkul (BSc 2013-2014, King's) An Online Collaboration System</li>
-<li>Pawel Huszcza (MSci 2013-2014, King's, mark: 65%) A Simple Compiler Targeting LLVM</li>
+<li>Pawel Huszcza (MSci 2013-2014, King's, mark: 65%) A Simple Compiler Targeting the LLVM</li>
 <li>Jan Soendermann (BSc 2013-2014, King's, mark: 85%, studies for his MSc at Cambridge University)
 A Lisp Compiler Targeting JavaScript/Asm.js</li>
 <li>Ritu Kundu (MSc 2013-2014, King's) Modern Slide-Making in Elm and JavaScript</li>
@@ -450,7 +451,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Sat Aug  2 15:45:56 BST 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Fri Sep  5 16:24:59 BST 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>