86 <li><A HREF="http://www.pps.jussieu.fr/~tasson">Christine Tasson</A> |
86 <li><A HREF="http://www.pps.jussieu.fr/~tasson">Christine Tasson</A> |
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, works now at the CEA in Saclay, France) Formalization of Generative Unbinding</li> |
92 <li>Akhil Junghare (MSc 2011-2012, King's, mark: 68%) 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, mark: 88%, 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> |
98 starts a MSc in Bioinformatics at Imperial) X86-Code Generator for a small Compiler</li> |
98 starts a MSc in Bioinformatics at Imperial) X86-Code Generator for a small Compiler</li> |
99 <li>Daniel Zurawski (BSc 2012-2013, King's, mark: 75%, works now at MailOne) Lisp to JavaScript Translator in Clojure</li> |
99 <li>Daniel Zurawski (BSc 2012-2013, King's, mark: 75%, works now at MailOne) Lisp to JavaScript Translator in Clojure</li> |
100 <li>Biljana Naumova (BSc 2012-2013, King's) Regular Expression Equivalence Checking using Asperti's Algorithm</li> |
100 <li>Biljana Naumova (BSc 2012-2013, King's) Regular Expression Equivalence Checking using Asperti's Algorithm</li> |
101 <li>Spencer Jevon (BSc 2012-2013, King's, mark: 73%) Automata Minimisation using Brzozowski's Algorithm</li> |
101 <li>Spencer Jevon (BSc 2012-2013, King's, mark: 73%) Automata Minimisation using Brzozowski's Algorithm</li> |
102 <li>Maciej Surmacz (MSc 2012-2013, King's) A Student Polling System</li> |
102 <li>Maciej Surmacz (MSc 2012-2013, King's) A Student Polling System</li> |
103 <li>Syed Fahad Jafri (MSc 2012-2013, King's, mark: 78%) MS IL Code Generator for a Simple Compiler</li> |
103 <li>Fahad Ausaf (MSc 2012-2013, King's, mark: 78%, is now doing a PhD at King's under my supervison) |
|
104 MS IL Code Generator for a Simple Compiler</li> |
104 <li>Schwit Janwityanujit (MSc 2012-2013, King's) Syntax Highlighting in Web-Browsers</li> |
105 <li>Schwit Janwityanujit (MSc 2012-2013, King's) Syntax Highlighting in Web-Browsers</li> |
105 <li>Mark Sangster (MSci 2013-2014, King's, mark: 80%) Regular Expression Matching and Partial Derivatives</li> |
106 <li>Mark Sangster (MSci 2013-2014, King's, mark: 80%) Regular Expression Matching and Partial Derivatives</li> |
106 <li>Lisethe Sanmartin (BSc 2013-2014, King's), Raspberry Pi Weather Station</li> |
107 <li>Lisethe Sanmartin (BSc 2013-2014, King's), Raspberry Pi Weather Station</li> |
107 <li>Gerwin Glorieux (BSc 2013-2014, King's, mark 80%) A Student Polling System</li> |
108 <li>Gerwin Glorieux (BSc 2013-2014, King's, mark 80%) A Student Polling System</li> |
108 <li>Anna Bladzich (MSci 2013-2014, King's, mark: 65%) |
109 <li>Anna Bladzich (MSci 2013-2014, King's, mark: 65%) |
109 Implementation of a Distributed Clock-Synchronisation Algorithm |
110 Implementation of a Distributed Clock-Synchronisation Algorithm |
110 developed at NASA</li> |
111 developed at NASA</li> |
111 <li>Ben Lertlumprasertkul (BSc 2013-2014, King's) An Online Collaboration System</li> |
112 <li>Ben Lertlumprasertkul (BSc 2013-2014, King's) An Online Collaboration System</li> |
112 <li>Pawel Huszcza (MSci 2013-2014, King's, mark: 65%) A Simple Compiler Targeting LLVM</li> |
113 <li>Pawel Huszcza (MSci 2013-2014, King's, mark: 65%) A Simple Compiler Targeting the LLVM</li> |
113 <li>Jan Soendermann (BSc 2013-2014, King's, mark: 85%, studies for his MSc at Cambridge University) |
114 <li>Jan Soendermann (BSc 2013-2014, King's, mark: 85%, studies for his MSc at Cambridge University) |
114 A Lisp Compiler Targeting JavaScript/Asm.js</li> |
115 A Lisp Compiler Targeting JavaScript/Asm.js</li> |
115 <li>Ritu Kundu (MSc 2013-2014, King's) Modern Slide-Making in Elm and JavaScript</li> |
116 <li>Ritu Kundu (MSc 2013-2014, King's) Modern Slide-Making in Elm and JavaScript</li> |
116 <li>Vladislav Kononov (MSc 2013-2014, King's) Regular Expression Matching with Derivatives</li> |
117 <li>Vladislav Kononov (MSc 2013-2014, King's) Regular Expression Matching with Derivatives</li> |
117 <li>Daniel Martinez (MSc 2013-2014, King's) Raspberry Pi Network</li> |
118 <li>Daniel Martinez (MSc 2013-2014, King's) Raspberry Pi Network</li> |