--- a/teaching.html	Thu May 30 23:18:35 2013 +0100
+++ b/teaching.html	Tue Jun 04 10:56:32 2013 +0100
@@ -89,10 +89,14 @@
 (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 (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>Akhil Junghare (MSc 2011-2012, King's) Lexing and Parsing using Derivatives</li>
+<li>Darius Hodaei (MSc 2011-2012, King's) 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>SpencerJevon (BSc 2012-2013) Automata Minimisation using Brzozowski's Algorithm</li>
 </ul>
 
 <p>Examiner of PhD-theses: