--- a/teaching.html	Tue Apr 29 11:36:02 2014 +0100
+++ b/teaching.html	Mon Jun 02 14:42:38 2014 +0100
@@ -89,18 +89,18 @@
 (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>
-<li>Akhil Junghare (MSc 2011-2012, King's) Lexing and Parsing using Derivatives</li>
-<li>Darius Hodaei (MSc 2011-2012, King's, works now at Microsoft Skype in London)
+<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>
 <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, King's, mark: 80%) X86-Code Generator for a small Compiler</li>
+<li>Mateusz Bieniek (BSc 2012-2013, King's, mark: 80%, works as developer at RedBite in Cambridge) X86-Code Generator for a small Compiler</li>
 <li>Daniel Zurawski (BSc 2012-2013, King's, mark: 75%, works now at MailOne) Lisp to JavaScript Translator in Clojure</li>
 <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) 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>Schwit Janwityanujit (MSc 2012-2013, King's) Syntax Highlighting for Cod in Web-Browsers</li>
+<li>Schwit Janwityanujit (MSc 2012-2013, King's) Syntax Highlighting in Web-Browsers</li>
 <li>Mark Sangster (MSci 2013-2014, King's) Regular Expression Matching and Partial Derivatives</li>
 <li>Lisethe Sanmartin (BSc 2013-2014, King's), Raspberry Pi Weather Station</li>
 <li>Gerwin Glorieux (BSc 2013-2014, King's) A Student Polling System</li>
@@ -108,7 +108,8 @@
 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) A Simple Compiler Targeting LLVM</li>
-<li>Jan Soendermann (BSc 2013-2014, King's) A Lisp Compiler Targeting JavaScript/Asm.js</li>
+<li>Jan Soendermann (BSc 2013-2014, King's, 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 JavaScript</li>
 </ul>
 
@@ -432,7 +433,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Tue Apr 29 00:23:48 BST 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Mon Jun  2 14:42:16 BST 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>