# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1327536894 0
# Node ID 001a643b8b06f4a441be6b3fbf6952d1c7845bce
# Parent  c046c3d2950b86f8e5c00b5cd14bbd3e6a423dae
tuned

diff -r c046c3d2950b -r 001a643b8b06 teaching.html
--- 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>