--- a/teaching.html Tue Sep 11 11:40:36 2012 +0200
+++ b/teaching.html Wed Sep 12 16:49:06 2012 +0200
@@ -92,7 +92,6 @@
<li>Akhil Junghare (2011-2012, King's) Lexing and Parsing using Derivatives</li>
<li>Darius Hodaei (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>
@@ -104,6 +103,7 @@
<ul>
<li>Automata and Formal Languages course
+<li>Access Control and Privacy Policies
</ul>
</TD>
</TR>