added
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Sat, 02 Aug 2014 16:35:56 +0100
changeset 298 7ad27eb1d1b8
parent 297 6ddd1deb3566
child 299 7b5ec32a4c10
added
bsc-projects-14.html
teaching.html
--- a/bsc-projects-14.html	Mon Jul 28 12:31:39 2014 +0100
+++ b/bsc-projects-14.html	Sat Aug 02 16:35:56 2014 +0100
@@ -145,7 +145,7 @@
   can be also used, but seem much less convenient.
   </p>
   
-<li> <H4>[CU2] A Compiler for a Programming Language</H4>
+<li> <H4>[CU2] A Compiler for a small Programming Language</H4>
 
   <p>
   <b>Description:</b> 
@@ -606,7 +606,7 @@
 </TABLE>
 
 <P>
-<!-- hhmts start --> Last modified: Mon Jul 28 11:19:49 BST 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Mon Jul 28 21:08:53 BST 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>
--- a/teaching.html	Mon Jul 28 12:31:39 2014 +0100
+++ b/teaching.html	Sat Aug 02 16:35:56 2014 +0100
@@ -98,7 +98,7 @@
   starts a MSc in Bioinformatics at Imperial) X86-Code Generator for a small Compiler</li>
 <li>Daniel Zurawski (BSc 2012-2013, King's, mark: 75%, works now at MailOne) 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>Spencer Jevon (BSc 2012-2013, King's, mark: 73%) 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, mark: 78%) MS IL Code Generator for a Simple Compiler</li>
 <li>Schwit Janwityanujit (MSc 2012-2013, King's) Syntax Highlighting in Web-Browsers</li>
@@ -122,6 +122,7 @@
 <li>Dragisa Zunic (2007, ENS in Lyon)
 <li>Clement Houtmann (2010, INRIA Bordeaux)
 <li>Nikolai Sultana (2014, Cambridge)
+<li>Andrew Boyton (2014, UNSW Australia)  
 </ul>
 
 </TD>
@@ -449,7 +450,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Sun Jul 13 17:49:55 CEST 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sat Aug  2 15:45:56 BST 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>