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) 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) 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> |
107 <li>Gerwin Glorieux (BSc 2013-2014, King's) A Student Polling System</li> |
107 <li>Gerwin Glorieux (BSc 2013-2014, King's, mark 80%) A Student Polling System</li> |
108 <li>Anna Bladzich (MSci 2013-2014, King's) Implementation of a Distributed Clock-Synchronisation Algorithm |
108 <li>Anna Bladzich (MSci 2013-2014, King's, mark: 65%) |
|
109 Implementation of a Distributed Clock-Synchronisation Algorithm |
109 developed at NASA</li> |
110 developed at NASA</li> |
110 <li>Ben Lertlumprasertkul (BSc 2013-2014, King's) An Online Collaboration System</li> |
111 <li>Ben Lertlumprasertkul (BSc 2013-2014, King's) An Online Collaboration System</li> |
111 <li>Pawel Huszcza (MSci 2013-2014, King's) A Simple Compiler Targeting LLVM</li> |
112 <li>Pawel Huszcza (MSci 2013-2014, King's, mark: 65%) A Simple Compiler Targeting LLVM</li> |
112 <li>Jan Soendermann (BSc 2013-2014, King's, studies for his MSc at Cambridge University) |
113 <li>Jan Soendermann (BSc 2013-2014, King's, mark: 85%, studies for his MSc at Cambridge University) |
113 A Lisp Compiler Targeting JavaScript/Asm.js</li> |
114 A Lisp Compiler Targeting JavaScript/Asm.js</li> |
114 <li>Ritu Kundu (MSc 2013-2014, King's) Modern Slide-Making in Elm and JavaScript</li> |
115 <li>Ritu Kundu (MSc 2013-2014, King's) Modern Slide-Making in Elm and JavaScript</li> |
115 <li>Vladislav Kononov (MSc 2013-2014, King's) Regular Expression Matching with Derivatives</li> |
116 <li>Vladislav Kononov (MSc 2013-2014, King's) Regular Expression Matching with Derivatives</li> |
116 <li>Daniel Martinez (MSc 2013-2014, King's) Raspberry Pi Network</li> |
117 <li>Daniel Martinez (MSc 2013-2014, King's) Raspberry Pi Network</li> |
117 </ul> |
118 </ul> |
118 |
119 |
119 <p>Examiner of PhD-theses: |
120 <p>Examiner of PhD-theses: |
120 <ul> |
121 <ul> |
121 <li>Dragisa Zunic (2007, ENS in Lyon) |
122 <li>Dragisa Zunic (2007, ENS in Lyon) |
122 <li>Clement Houtmann (2010, INRIA Bordeaux) |
123 <li>Clement Houtmann (2010, INRIA Bordeaux) |
123 <li>Nik Sultana (2014, Cambridge) |
124 <li>Nikolai Sultana (2014, Cambridge) |
124 </ul> |
125 </ul> |
125 |
126 |
126 </TD> |
127 </TD> |
127 </TR> |
128 </TR> |
|
129 |
|
130 <TR> |
|
131 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
|
132 <H3>2014-2015</H3> |
|
133 |
|
134 <ul> |
|
135 <li>Automata and Formal Languages course |
|
136 <li>Access Control and Privacy Policies |
|
137 </ul> |
|
138 </TD> |
|
139 </TR> |
|
140 |
128 |
141 |
129 <TR> |
142 <TR> |
130 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
143 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
131 <H3>2013-2014</H3> |
144 <H3>2013-2014</H3> |
132 |
145 |