92 <li>Akhil Junghare (MSc 2011-2012, King's) Lexing and Parsing using Derivatives</li> |
92 <li>Akhil Junghare (MSc 2011-2012, King's) Lexing and Parsing using Derivatives</li> |
93 <li>Darius Hodaei (MSc 2011-2012, King's, works now at Microsoft Skype in London) |
93 <li>Darius Hodaei (MSc 2011-2012, King's, works now at Microsoft Skype in London) |
94 A Compiler for System F</li> |
94 A Compiler for System F</li> |
95 <li>Jian Jiang (MSc 2011-2012, King's) Suffix Array Sorting, |
95 <li>Jian Jiang (MSc 2011-2012, King's) Suffix Array Sorting, |
96 received the prize of the best MSc thesis in 2012</li> |
96 received the prize of the best MSc thesis in 2012</li> |
97 <li>Mateusz Bieniek (BSc 2012-2013) X86-Code Generator for a small Compiler</li> |
97 <li>Mateusz Bieniek (BSc 2012-2013, King's) X86-Code Generator for a small Compiler</li> |
98 <li>Daniel Zurawski (BSc 2012-2013) Lisp to JavaScript Translator in Clojure</li> |
98 <li>Daniel Zurawski (BSc 2012-2013, King's) Lisp to JavaScript Translator in Clojure</li> |
99 <li>Biljana Naumova (BSc 2012-2013) Regular Expression Equivalence Checking using Asperti's Algorithm</li> |
99 <li>Biljana Naumova (BSc 2012-2013, King's) Regular Expression Equivalence Checking using Asperti's Algorithm</li> |
100 <li>Spencer Jevon (BSc 2012-2013) Automata Minimisation using Brzozowski's Algorithm</li> |
100 <li>Spencer Jevon (BSc 2012-2013, King's) Automata Minimisation using Brzozowski's Algorithm</li> |
101 <li>Maciej Surmacz (MSc 2012-2013) A Student Polling System</li> |
101 <li>Maciej Surmacz (MSc 2012-2013, King's) A Student Polling System</li> |
102 <li>Syed Fahad Jafri (MSc 2012-2013) MS IL Code Generator for a Simple Compiler</li> |
102 <li>Syed Fahad Jafri (MSc 2012-2013, King's) MS IL Code Generator for a Simple Compiler</li> |
103 <li>Schwit Janwityanujit (MSc 2012-2013) Syntax Highlighting for Cod in Web-Browsers</li> |
103 <li>Schwit Janwityanujit (MSc 2012-2013, King's) Syntax Highlighting for Cod in Web-Browsers</li> |
|
104 <li>Mark Sangster (MSci 2013-2014, King's) Regular Expression Matching and Partial Derivatives</li> |
|
105 <li>Lisethe Sanmartin (BSc 2013-2014, King's), Raspberry Pi Weather Station</li> |
|
106 <li>Gerwin Glorieux (BSc 2013-2014, King's) A Student Polling System</li> |
|
107 <li>Anna Bladzich (MSci 2013-2014, King's) Implementation of a Distributed Clock-Synchronisation Algorithm |
|
108 developed at NASA</li> |
|
109 <li>Ben Lertlumprasertkul (BSc 2013-2014, King's) An Online Collaboration System</li> |
|
110 <li>Pawel Huszcza (MSci 2013-2014, King's) A Simple Compiler Targeting the LLVM</li> |
|
111 <li>Jan Soendermann (BSc 2013-2014, King's) A Lisp Compiler Targeting JavaScript/Asm.js</li> |
|
112 <li>Ritu Kundu (MSc 2013-2014, King's) Modern Slide-Making in JavaScript</li> |
104 </ul> |
113 </ul> |
105 |
114 |
106 <p>Examiner of PhD-theses: |
115 <p>Examiner of PhD-theses: |
107 <ul> |
116 <ul> |
108 <li>Dragisa Zunic (2007, ENS in Lyon) |
117 <li>Dragisa Zunic (2007, ENS in Lyon) |