# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1708635534 0
# Node ID 97e87f6eae2fd907d523bb97ebe98d479bfda666
# Parent  cdf2574671d1a44c3fe30430b0c7ade85f7b6377
updated

diff -r cdf2574671d1 -r 97e87f6eae2f teaching.html
--- a/teaching.html	Thu Feb 22 14:42:56 2024 +0000
+++ b/teaching.html	Thu Feb 22 20:58:54 2024 +0000
@@ -38,7 +38,7 @@
 <TD BGCOLOR="#FFFFFF" 
     WIDTH="24%" 
     VALIGN="TOP" 
-    ROWSPAN="24">
+    ROWSPAN="25">
 
 <B>Links</B><BR>
 <A HREF="http://nms.kcl.ac.uk/christian.urban/">Home</A><BR>
@@ -76,54 +76,6 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H2>Teaching</H2>
   
-<p>Undergraduate students who have written dissertations under my supervision:
-<ul>
-<li>Dominik Wee (2002-2003, King's College, Cambridge; now at McKinsey in Munich) 
-Part-II dissertation: An Implementation of Alpha-Prolog, 
-A Logic Programming Language with Support for Binding Syntax (out of 84 dissertations, Dominik's 
-thesis received the Data Connection prize for the highest number of marks awarded in 2003)</li>
-<li>Lisa White  (2003-2004, Corpus, Cambridge) Part-II dissertation: Hal 2004, A Nominal Theorem 
-Prover</li>
-<li><A HREF="http://www.pps.jussieu.fr/~tasson">Christine Tasson</A> 
-(2004, ENS Cachan, France; now in the PPS group in Paris) 
-Induction Principles for Alpha-Equated Lambda-Terms
-(the paper coming out of this work was presented at CADE)</li>
-<li><A HREF="http://www.lsv.ens-cachan.fr/~arnaud">Mathilde Arnaud</A> 
-(2007, ENS Cachan, France, works now at the CEA in Saclay, France) Formalization of Generative Unbinding</li>
-<li>Akhil Junghare (MSc 2011-2012, King's, mark: 68%) Lexing and Parsing using Derivatives</li>
-<li>Darius Hodaei (MSc 2011-2012, King's, mark: 88%, works now at Microsoft Skype in London)
-A Compiler for System F</li>
-<li>Jian Jiang (MSc 2011-2012, King's) Suffix Array Sorting, 
-received the prize of the best MSc thesis in 2012</li>
-<li>Mateusz Bieniek (BSc 2012-2013, King's, mark: 80%, works as developer at RedBite in Cambridge and
-  starts a MSc in Bioinformatics at Imperial) X86-Code Generator for a small Compiler</li>
-<li>Daniel Zurawski (BSc 2012-2013, King's, mark: 75%, works now at MailOne) Lisp to JavaScript Translator in Clojure</li>
-<li>Biljana Naumova (BSc 2012-2013, King's) Regular Expression Equivalence Checking using Asperti's Algorithm</li>
-<li>Spencer Jevon (BSc 2012-2013, King's, mark: 73%) Automata Minimisation using Brzozowski's Algorithm</li>
-<li>Maciej Surmacz (MSc 2012-2013, King's) A Student Polling System</li>
-<li>Fahad Ausaf (MSc 2012-2013, King's, mark: 78%, is now doing a PhD at King's under my supervison)
-MS IL Code Generator for a Simple Compiler</li>
-<li>Schwit Janwityanujit (MSc 2012-2013, King's) Syntax Highlighting in Web-Browsers</li>
-<li>Mark Sangster (MSci 2013-2014, King's, mark: 80%) Regular Expression Matching and Partial Derivatives</li>
-<li>Lisethe Sanmartin (BSc 2013-2014, King's), Raspberry Pi Weather Station</li>
-<li>Gerwin Glorieux (BSc 2013-2014, King's, mark 80%) A Student Polling System</li>
-<li>Anna Bladzich (MSci 2013-2014, King's, mark: 65%)
- Implementation of a Distributed Clock-Synchronisation Algorithm
-developed at NASA</li>
-<li>Ben Lertlumprasertkul (BSc 2013-2014, King's) An Online Collaboration System</li>
-<li>Pawel Huszcza (MSci 2013-2014, King's, mark: 65%) A Simple Compiler Targeting the LLVM</li>
-<li>Jan Soendermann (BSc 2013-2014, King's, mark: 85%, studies for his MSc at Cambridge University)
-A Lisp Compiler Targeting JavaScript/Asm.js</li>
-<li>Ritu Kundu (MSc 2013-2014, King's, mark 79%) Modern Slide-Making in Elm and JavaScript</li>
-<li>Vladislav Kononov (MSc 2013-2014, King's, mark 75%, works for RBS)
-Regular Expression Matching with Derivatives</li> 
-<li>Daniel Martinez (MSc 2013-2014, King's, mark 73%) Raspberry Pi Network</li>
-<li>Kintesh Patel (BSc 2014-2015, King's, mark 75%) Slide-Making in the Web-Age</li> 
-<li>Vishvadeep Kadian (BSc 2014-2015, King's, mark 70%) Home Control, Automation & Management
-  System Optimised for the Raspberry Pi</li>
-<li> ...
-</ul>
-
 <p>
 I was awarded in 2014 the prizes for both, best supervisor for BSc and best supervisor
 for MSc projects, in the Faculty of Natural and Mathematical Sciences.
@@ -142,6 +94,7 @@
 <li>Eleanor Davis (2021, Warwick University)</li>
 <li>Kawin Worrasangasilpa (2021, Cambridge)</li>
 <li>Chelsea Louise Edmonds (2023, Cambridge)</li>
+<li>Gabriel Ferreira Silva (2024, University of Brasilia)</li>
 </ul> 
 
 </TD>
@@ -149,6 +102,19 @@
 
 <TR>
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
+<H3>2023-2024</H3>
+
+<ul>
+<li>Compilers and Formal Languages (173 students)
+<li>Practical Experiences of Programming (Scala Part, 5  weeks, 275 students)
+</ul>
+</TD>
+</TR>
+
+
+
+<TR>
+<TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H3>2022-2023</H3>
 
 <ul>