--- a/teaching.html	Sat Jan 21 00:36:08 2012 +0000
+++ b/teaching.html	Thu Jan 26 00:14:54 2012 +0000
@@ -89,7 +89,10 @@
 (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>Parminder Sandhu (2011-2012, King's) Parsing using Derivatives</li>
+<li>Akhil Junghare (2011-2012, King's) Lexing and Parsing using Derivatives</li>
+<li>Darius Hodei (2011-2012, King's) A Compiler for System F</li>
+<li>Jian Jiang (2011-2012, King's) Suffix Array Sorting</li>
+<li>Adnan Noureddine (2011-2012, King's) Equivalence Checking of Regular Expressions</li>
 </ul>
 
 </TD>
@@ -100,7 +103,7 @@
 <H3>2012-2013</H3>
 
 <ul>
-<li>Automata and Formal Languages
+<li>Automata and Formal Languages course
 </ul>
 </TD>
 </TR>