--- a/teaching.html	Sun Dec 15 14:32:05 2013 +1100
+++ b/teaching.html	Sun Dec 29 10:24:51 2013 +0000
@@ -94,13 +94,22 @@
 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>
-<li>Daniel Zurawski (BSc 2012-2013) Lisp to JavaScript Translator in Clojure</li>
-<li>Biljana Naumova (BSc 2012-2013) Regular Expression Equivalence Checking using Asperti's Algorithm</li>
-<li>Spencer Jevon (BSc 2012-2013) Automata Minimisation using Brzozowski's Algorithm</li>
-<li>Maciej Surmacz (MSc 2012-2013) A Student Polling System</li>
-<li>Syed Fahad Jafri (MSc 2012-2013) MS IL Code Generator for a Simple Compiler</li>
-<li>Schwit Janwityanujit (MSc 2012-2013) Syntax Highlighting for Cod in Web-Browsers</li>
+<li>Mateusz Bieniek (BSc 2012-2013, King's) X86-Code Generator for a small Compiler</li>
+<li>Daniel Zurawski (BSc 2012-2013, King's) 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) 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>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>
+<li>Anna Bladzich (MSci 2013-2014, King's) 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) A Simple Compiler Targeting the LLVM</li>
+<li>Jan Soendermann (BSc 2013-2014, King's) A Lisp Compiler Targeting JavaScript/Asm.js</li>
+<li>Ritu Kundu (MSc 2013-2014, King's) Modern Slide-Making in JavaScript</li>
 </ul>
 
 <p>Examiner of PhD-theses:
@@ -424,7 +433,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Sat Sep 28 13:33:46 BST 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sun Dec 29 10:22:44 GMT 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>