--- a/msc-projects-13.html	Tue Apr 29 11:36:02 2014 +0100
+++ b/msc-projects-13.html	Mon Jun 02 14:42:38 2014 +0100
@@ -314,8 +314,8 @@
   <p>
   <B>Description:</B>
   One of the more annoying aspects of giving a lecture is to ask a question
-  to the students and no matter how easy the questions is to not 
-  receive an answer. Recently, the online course system 
+  to the students and no matter how easy the question is to not 
+  receive any answer. Recently, the online course system 
   <A HREF="http://www.udacity.com">Udacity</A> made an art out of
   asking questions during lectures (see for example the
   <A HREF="http://www.udacity.com/overview/Course/cs253/CourseRev/apr2012">Web Application Engineering</A> 
@@ -324,7 +324,7 @@
   click on the appropriate answer. This works very well in the online world. 
   For  &ldquo;real-world&rdquo; lectures, the department has some 
   <A HREF="http://en.wikipedia.org/wiki/Audience_response">clickers</A>
-  (these are little devices part of an audience response systems). However, 
+  (these are little devices which for a part of an audience response systems). However, 
   they are a logistic nightmare for the lecturer: they need to be distributed 
   during the lecture and collected at the end. Nowadays, where students
   come with their own laptop or smartphone to lectures, this can
@@ -568,7 +568,7 @@
 </TABLE>
 
 <P>
-<!-- hhmts start --> Last modified: Thu Nov 21 14:26:11 GMT 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Tue May 27 13:19:42 BST 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>

--- a/teaching.html	Tue Apr 29 11:36:02 2014 +0100
+++ b/teaching.html	Mon Jun 02 14:42:38 2014 +0100
@@ -89,18 +89,18 @@
 (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 (MSc 2011-2012, King's) Lexing and Parsing using Derivatives</li>
-<li>Darius Hodaei (MSc 2011-2012, King's, works now at Microsoft Skype in London)
+<li>Akhil Junghare (MSc 2011-2012, King's, mark: 68%) Lexing and Parsing using Derivatives</li>
+<li>Darius Hodaei (MSc 2011-2012, King's, mark: 88%, works now at Microsoft Skype in London)
 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, King's, mark: 80%) X86-Code Generator for a small Compiler</li>
+<li>Mateusz Bieniek (BSc 2012-2013, King's, mark: 80%, works as developer at RedBite in Cambridge) 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>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 for Cod in Web-Browsers</li>
+<li>Schwit Janwityanujit (MSc 2012-2013, King's) Syntax Highlighting in Web-Browsers</li>
 <li>Mark Sangster (MSci 2013-2014, King's) Regular Expression Matching and Partial Derivatives</li>
 <li>Lisethe Sanmartin (BSc 2013-2014, King's), Raspberry Pi Weather Station</li>
 <li>Gerwin Glorieux (BSc 2013-2014, King's) A Student Polling System</li>
@@ -108,7 +108,8 @@
 developed at NASA</li>
 <li>Ben Lertlumprasertkul (BSc 2013-2014, King's) An Online Collaboration System</li>
 <li>Pawel Huszcza (MSci 2013-2014, King's) A Simple Compiler Targeting LLVM</li>
-<li>Jan Soendermann (BSc 2013-2014, King's) A Lisp Compiler Targeting JavaScript/Asm.js</li>
+<li>Jan Soendermann (BSc 2013-2014, King's, studies for his MSc at Cambridge University)
+A Lisp Compiler Targeting JavaScript/Asm.js</li>
 <li>Ritu Kundu (MSc 2013-2014, King's) Modern Slide-Making in JavaScript</li>
 </ul>
 
@@ -432,7 +433,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Tue Apr 29 00:23:48 BST 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Mon Jun  2 14:42:16 BST 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>