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 (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 (2011-2012, King's) A Compiler for System F</li> |
93 <li>Darius Hodaei (MSc 2011-2012, King's) A Compiler for System F</li> |
94 <li>Jian Jiang (2011-2012, King's) Suffix Array Sorting, |
94 <li>Jian Jiang (MSc 2011-2012, King's) Suffix Array Sorting, |
95 received the prize of the best MSc thesis in 2012</li> |
95 received the prize of the best MSc thesis in 2012</li> |
|
96 <li>Mateusz Bieniek (BSc 2012-2013) X86 Code Generator for a small Compiler</li> |
|
97 <li>Daniel Zurawski (BSc 2012-2013) Lisp to JavaScript Translator in Clojure</li> |
|
98 <li>Biljana Naumova (BSc 2012-2013) Regular Expression Equivalence Checking using Asperti's Algorithm</li> |
|
99 <li>SpencerJevon (BSc 2012-2013) Automata Minimisation using Brzozowski's Algorithm</li> |
96 </ul> |
100 </ul> |
97 |
101 |
98 <p>Examiner of PhD-theses: |
102 <p>Examiner of PhD-theses: |
99 <ul> |
103 <ul> |
100 <li>Dragisa Zunic (2007, ENS in Lyon) |
104 <li>Dragisa Zunic (2007, ENS in Lyon) |