74 |
74 |
75 <!-- right column --> |
75 <!-- right column --> |
76 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
76 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
77 <H2>Teaching</H2> |
77 <H2>Teaching</H2> |
78 |
78 |
79 <p>Undergraduate students who have written dissertations under my supervision: |
|
80 <ul> |
|
81 <li>Dominik Wee (2002-2003, King's College, Cambridge; now at McKinsey in Munich) |
|
82 Part-II dissertation: An Implementation of Alpha-Prolog, |
|
83 A Logic Programming Language with Support for Binding Syntax (out of 84 dissertations, Dominik's |
|
84 thesis received the Data Connection prize for the highest number of marks awarded in 2003)</li> |
|
85 <li>Lisa White (2003-2004, Corpus, Cambridge) Part-II dissertation: Hal 2004, A Nominal Theorem |
|
86 Prover</li> |
|
87 <li><A HREF="http://www.pps.jussieu.fr/~tasson">Christine Tasson</A> |
|
88 (2004, ENS Cachan, France; now in the PPS group in Paris) |
|
89 Induction Principles for Alpha-Equated Lambda-Terms |
|
90 (the paper coming out of this work was presented at CADE)</li> |
|
91 <li><A HREF="http://www.lsv.ens-cachan.fr/~arnaud">Mathilde Arnaud</A> |
|
92 (2007, ENS Cachan, France, works now at the CEA in Saclay, France) Formalization of Generative Unbinding</li> |
|
93 <li>Akhil Junghare (MSc 2011-2012, King's, mark: 68%) Lexing and Parsing using Derivatives</li> |
|
94 <li>Darius Hodaei (MSc 2011-2012, King's, mark: 88%, works now at Microsoft Skype in London) |
|
95 A Compiler for System F</li> |
|
96 <li>Jian Jiang (MSc 2011-2012, King's) Suffix Array Sorting, |
|
97 received the prize of the best MSc thesis in 2012</li> |
|
98 <li>Mateusz Bieniek (BSc 2012-2013, King's, mark: 80%, works as developer at RedBite in Cambridge and |
|
99 starts a MSc in Bioinformatics at Imperial) X86-Code Generator for a small Compiler</li> |
|
100 <li>Daniel Zurawski (BSc 2012-2013, King's, mark: 75%, works now at MailOne) Lisp to JavaScript Translator in Clojure</li> |
|
101 <li>Biljana Naumova (BSc 2012-2013, King's) Regular Expression Equivalence Checking using Asperti's Algorithm</li> |
|
102 <li>Spencer Jevon (BSc 2012-2013, King's, mark: 73%) Automata Minimisation using Brzozowski's Algorithm</li> |
|
103 <li>Maciej Surmacz (MSc 2012-2013, King's) A Student Polling System</li> |
|
104 <li>Fahad Ausaf (MSc 2012-2013, King's, mark: 78%, is now doing a PhD at King's under my supervison) |
|
105 MS IL Code Generator for a Simple Compiler</li> |
|
106 <li>Schwit Janwityanujit (MSc 2012-2013, King's) Syntax Highlighting in Web-Browsers</li> |
|
107 <li>Mark Sangster (MSci 2013-2014, King's, mark: 80%) Regular Expression Matching and Partial Derivatives</li> |
|
108 <li>Lisethe Sanmartin (BSc 2013-2014, King's), Raspberry Pi Weather Station</li> |
|
109 <li>Gerwin Glorieux (BSc 2013-2014, King's, mark 80%) A Student Polling System</li> |
|
110 <li>Anna Bladzich (MSci 2013-2014, King's, mark: 65%) |
|
111 Implementation of a Distributed Clock-Synchronisation Algorithm |
|
112 developed at NASA</li> |
|
113 <li>Ben Lertlumprasertkul (BSc 2013-2014, King's) An Online Collaboration System</li> |
|
114 <li>Pawel Huszcza (MSci 2013-2014, King's, mark: 65%) A Simple Compiler Targeting the LLVM</li> |
|
115 <li>Jan Soendermann (BSc 2013-2014, King's, mark: 85%, studies for his MSc at Cambridge University) |
|
116 A Lisp Compiler Targeting JavaScript/Asm.js</li> |
|
117 <li>Ritu Kundu (MSc 2013-2014, King's, mark 79%) Modern Slide-Making in Elm and JavaScript</li> |
|
118 <li>Vladislav Kononov (MSc 2013-2014, King's, mark 75%, works for RBS) |
|
119 Regular Expression Matching with Derivatives</li> |
|
120 <li>Daniel Martinez (MSc 2013-2014, King's, mark 73%) Raspberry Pi Network</li> |
|
121 <li>Kintesh Patel (BSc 2014-2015, King's, mark 75%) Slide-Making in the Web-Age</li> |
|
122 <li>Vishvadeep Kadian (BSc 2014-2015, King's, mark 70%) Home Control, Automation & Management |
|
123 System Optimised for the Raspberry Pi</li> |
|
124 <li> ... |
|
125 </ul> |
|
126 |
|
127 <p> |
79 <p> |
128 I was awarded in 2014 the prizes for both, best supervisor for BSc and best supervisor |
80 I was awarded in 2014 the prizes for both, best supervisor for BSc and best supervisor |
129 for MSc projects, in the Faculty of Natural and Mathematical Sciences. |
81 for MSc projects, in the Faculty of Natural and Mathematical Sciences. |
130 </p> |
82 </p> |
131 |
83 |
140 <li>Ana Cristina Rocha-Oliveira (2016, University of Brasilia)</li> |
92 <li>Ana Cristina Rocha-Oliveira (2016, University of Brasilia)</li> |
141 <li>Lorenzo Gheri (2018, Middlesex University London)</li> |
93 <li>Lorenzo Gheri (2018, Middlesex University London)</li> |
142 <li>Eleanor Davis (2021, Warwick University)</li> |
94 <li>Eleanor Davis (2021, Warwick University)</li> |
143 <li>Kawin Worrasangasilpa (2021, Cambridge)</li> |
95 <li>Kawin Worrasangasilpa (2021, Cambridge)</li> |
144 <li>Chelsea Louise Edmonds (2023, Cambridge)</li> |
96 <li>Chelsea Louise Edmonds (2023, Cambridge)</li> |
|
97 <li>Gabriel Ferreira Silva (2024, University of Brasilia)</li> |
145 </ul> |
98 </ul> |
146 |
99 |
147 </TD> |
100 </TD> |
148 </TR> |
101 </TR> |
|
102 |
|
103 <TR> |
|
104 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
|
105 <H3>2023-2024</H3> |
|
106 |
|
107 <ul> |
|
108 <li>Compilers and Formal Languages (173 students) |
|
109 <li>Practical Experiences of Programming (Scala Part, 5 weeks, 275 students) |
|
110 </ul> |
|
111 </TD> |
|
112 </TR> |
|
113 |
|
114 |
149 |
115 |
150 <TR> |
116 <TR> |
151 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
117 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
152 <H3>2022-2023</H3> |
118 <H3>2022-2023</H3> |
153 |
119 |