# HG changeset patch # User Christian Urban # Date 1401716558 -3600 # Node ID 96f9be2b8188c3d3ec2e29fb4ec618d04987be54 # Parent c9cfef33ae5a279dc56a701061f24fa677e57d29 updated marks diff -r c9cfef33ae5a -r 96f9be2b8188 msc-projects-13.html --- 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 @@

Description: 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 Udacity made an art out of asking questions during lectures (see for example the Web Application Engineering @@ -324,7 +324,7 @@ click on the appropriate answer. This works very well in the online world. For “real-world” lectures, the department has some clickers - (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 @@

- Last modified: Thu Nov 21 14:26:11 GMT 2013 + Last modified: Tue May 27 13:19:42 BST 2014 [Validate this page.] diff -r c9cfef33ae5a -r 96f9be2b8188 teaching.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)

  • Mathilde Arnaud (2007, ENS Cachan, France) Formalization of Generative Unbinding
  • -
  • Akhil Junghare (MSc 2011-2012, King's) Lexing and Parsing using Derivatives
  • -
  • Darius Hodaei (MSc 2011-2012, King's, works now at Microsoft Skype in London) +
  • Akhil Junghare (MSc 2011-2012, King's, mark: 68%) Lexing and Parsing using Derivatives
  • +
  • Darius Hodaei (MSc 2011-2012, King's, mark: 88%, works now at Microsoft Skype in London) A Compiler for System F
  • Jian Jiang (MSc 2011-2012, King's) Suffix Array Sorting, received the prize of the best MSc thesis in 2012
  • -
  • Mateusz Bieniek (BSc 2012-2013, King's, mark: 80%) X86-Code Generator for a small Compiler
  • +
  • Mateusz Bieniek (BSc 2012-2013, King's, mark: 80%, works as developer at RedBite in Cambridge) X86-Code Generator for a small Compiler
  • Daniel Zurawski (BSc 2012-2013, King's, mark: 75%, works now at MailOne) Lisp to JavaScript Translator in Clojure
  • Biljana Naumova (BSc 2012-2013, King's) Regular Expression Equivalence Checking using Asperti's Algorithm
  • Spencer Jevon (BSc 2012-2013, King's) Automata Minimisation using Brzozowski's Algorithm
  • Maciej Surmacz (MSc 2012-2013, King's) A Student Polling System
  • Syed Fahad Jafri (MSc 2012-2013, King's, mark: 78%) MS IL Code Generator for a Simple Compiler
  • -
  • Schwit Janwityanujit (MSc 2012-2013, King's) Syntax Highlighting for Cod in Web-Browsers
  • +
  • Schwit Janwityanujit (MSc 2012-2013, King's) Syntax Highlighting in Web-Browsers
  • Mark Sangster (MSci 2013-2014, King's) Regular Expression Matching and Partial Derivatives
  • Lisethe Sanmartin (BSc 2013-2014, King's), Raspberry Pi Weather Station
  • Gerwin Glorieux (BSc 2013-2014, King's) A Student Polling System
  • @@ -108,7 +108,8 @@ developed at NASA
  • Ben Lertlumprasertkul (BSc 2013-2014, King's) An Online Collaboration System
  • Pawel Huszcza (MSci 2013-2014, King's) A Simple Compiler Targeting LLVM
  • -
  • Jan Soendermann (BSc 2013-2014, King's) A Lisp Compiler Targeting JavaScript/Asm.js
  • +
  • Jan Soendermann (BSc 2013-2014, King's, studies for his MSc at Cambridge University) +A Lisp Compiler Targeting JavaScript/Asm.js
  • Ritu Kundu (MSc 2013-2014, King's) Modern Slide-Making in JavaScript
  • @@ -432,7 +433,7 @@

    - Last modified: Tue Apr 29 00:23:48 BST 2014 + Last modified: Mon Jun 2 14:42:16 BST 2014 [Validate this page.]