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%, works as developer at RedBite in Cambridge and |
97 <li>Mateusz Bieniek (BSc 2012-2013, King's, mark: 80%, works as developer at RedBite in Cambridge and |
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) 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>Syed Fahad Jafri (MSc 2012-2013, King's, mark: 78%) MS IL Code Generator for a Simple Compiler</li> |
104 <li>Schwit Janwityanujit (MSc 2012-2013, King's) Syntax Highlighting in Web-Browsers</li> |
104 <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> |
105 <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> |
106 <li>Lisethe Sanmartin (BSc 2013-2014, King's), Raspberry Pi Weather Station</li> |
120 <p>Examiner of PhD-theses: |
120 <p>Examiner of PhD-theses: |
121 <ul> |
121 <ul> |
122 <li>Dragisa Zunic (2007, ENS in Lyon) |
122 <li>Dragisa Zunic (2007, ENS in Lyon) |
123 <li>Clement Houtmann (2010, INRIA Bordeaux) |
123 <li>Clement Houtmann (2010, INRIA Bordeaux) |
124 <li>Nikolai Sultana (2014, Cambridge) |
124 <li>Nikolai Sultana (2014, Cambridge) |
|
125 <li>Andrew Boyton (2014, UNSW Australia) |
125 </ul> |
126 </ul> |
126 |
127 |
127 </TD> |
128 </TD> |
128 </TR> |
129 </TR> |
129 |
130 |