87 (2004, ENS Cachan, France; now in the PPS group in Paris) |
87 (2004, ENS Cachan, France; now in the PPS group in Paris) |
88 Induction Principles for Alpha-Equated Lambda-Terms |
88 Induction Principles for Alpha-Equated Lambda-Terms |
89 (the paper coming out of this work was presented at CADE)</li> |
89 (the paper coming out of this work was presented at CADE)</li> |
90 <li><A HREF="http://www.lsv.ens-cachan.fr/~arnaud">Mathilde Arnaud</A> |
90 <li><A HREF="http://www.lsv.ens-cachan.fr/~arnaud">Mathilde Arnaud</A> |
91 (2007, ENS Cachan, France) Formalization of Generative Unbinding</li> |
91 (2007, ENS Cachan, France) Formalization of Generative Unbinding</li> |
92 <li>Akhil Junghare (MSc 2011-2012, King's) Lexing and Parsing using Derivatives</li> |
92 <li>Akhil Junghare (MSc 2011-2012, King's, mark: 68%) 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, mark: 88%, 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, King's, mark: 80%) X86-Code Generator for a small Compiler</li> |
97 <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> |
98 <li>Daniel Zurawski (BSc 2012-2013, King's, mark: 75%, works now at MailOne) Lisp to JavaScript Translator in Clojure</li> |
98 <li>Daniel Zurawski (BSc 2012-2013, King's, mark: 75%, works now at MailOne) Lisp to JavaScript Translator in Clojure</li> |
99 <li>Biljana Naumova (BSc 2012-2013, King's) 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, King's) 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, King's) 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, King's, mark: 78%) MS IL Code Generator for a Simple Compiler</li> |
102 <li>Syed Fahad Jafri (MSc 2012-2013, King's, mark: 78%) MS IL Code Generator for a Simple Compiler</li> |
103 <li>Schwit Janwityanujit (MSc 2012-2013, King's) Syntax Highlighting for Cod in Web-Browsers</li> |
103 <li>Schwit Janwityanujit (MSc 2012-2013, King's) Syntax Highlighting in Web-Browsers</li> |
104 <li>Mark Sangster (MSci 2013-2014, King's) Regular Expression Matching and Partial Derivatives</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> |
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> |
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 |
107 <li>Anna Bladzich (MSci 2013-2014, King's) Implementation of a Distributed Clock-Synchronisation Algorithm |
108 developed at NASA</li> |
108 developed at NASA</li> |
109 <li>Ben Lertlumprasertkul (BSc 2013-2014, King's) An Online Collaboration System</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 LLVM</li> |
110 <li>Pawel Huszcza (MSci 2013-2014, King's) A Simple Compiler Targeting LLVM</li> |
111 <li>Jan Soendermann (BSc 2013-2014, King's) A Lisp Compiler Targeting JavaScript/Asm.js</li> |
111 <li>Jan Soendermann (BSc 2013-2014, King's, studies for his MSc at Cambridge University) |
|
112 A Lisp Compiler Targeting JavaScript/Asm.js</li> |
112 <li>Ritu Kundu (MSc 2013-2014, King's) Modern Slide-Making in JavaScript</li> |
113 <li>Ritu Kundu (MSc 2013-2014, King's) Modern Slide-Making in JavaScript</li> |
113 </ul> |
114 </ul> |
114 |
115 |
115 <p>Examiner of PhD-theses: |
116 <p>Examiner of PhD-theses: |
116 <ul> |
117 <ul> |