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 @@
+ ROWSPAN="25">
Links
Home
@@ -76,54 +76,6 @@
|
Teaching
-Undergraduate students who have written dissertations under my supervision:
-
-- 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)
-- Lisa White (2003-2004, Corpus, Cambridge) Part-II dissertation: Hal 2004, A Nominal Theorem
-Prover
-- Christine Tasson
-(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)
-- Mathilde Arnaud
-(2007, ENS Cachan, France, works now at the CEA in Saclay, France) Formalization of Generative Unbinding
-- Akhil Junghare (MSc 2011-2012, King's, mark: 68%) Lexing and Parsing using Derivatives
-- Darius Hodaei (MSc 2011-2012, King's, mark: 88%, works now at Microsoft Skype in London)
-A Compiler for System F
-- Jian Jiang (MSc 2011-2012, King's) Suffix Array Sorting,
-received the prize of the best MSc thesis in 2012
-- 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
-- Daniel Zurawski (BSc 2012-2013, King's, mark: 75%, works now at MailOne) Lisp to JavaScript Translator in Clojure
-- Biljana Naumova (BSc 2012-2013, King's) Regular Expression Equivalence Checking using Asperti's Algorithm
-- Spencer Jevon (BSc 2012-2013, King's, mark: 73%) Automata Minimisation using Brzozowski's Algorithm
-- Maciej Surmacz (MSc 2012-2013, King's) A Student Polling System
-- 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
-- Schwit Janwityanujit (MSc 2012-2013, King's) Syntax Highlighting in Web-Browsers
-- Mark Sangster (MSci 2013-2014, King's, mark: 80%) Regular Expression Matching and Partial Derivatives
-- Lisethe Sanmartin (BSc 2013-2014, King's), Raspberry Pi Weather Station
-- Gerwin Glorieux (BSc 2013-2014, King's, mark 80%) A Student Polling System
-- Anna Bladzich (MSci 2013-2014, King's, mark: 65%)
- Implementation of a Distributed Clock-Synchronisation Algorithm
-developed at NASA
-- Ben Lertlumprasertkul (BSc 2013-2014, King's) An Online Collaboration System
-- Pawel Huszcza (MSci 2013-2014, King's, mark: 65%) A Simple Compiler Targeting the LLVM
-- Jan Soendermann (BSc 2013-2014, King's, mark: 85%, studies for his MSc at Cambridge University)
-A Lisp Compiler Targeting JavaScript/Asm.js
-- Ritu Kundu (MSc 2013-2014, King's, mark 79%) Modern Slide-Making in Elm and JavaScript
-- Vladislav Kononov (MSc 2013-2014, King's, mark 75%, works for RBS)
-Regular Expression Matching with Derivatives
-- Daniel Martinez (MSc 2013-2014, King's, mark 73%) Raspberry Pi Network
-- Kintesh Patel (BSc 2014-2015, King's, mark 75%) Slide-Making in the Web-Age
-- Vishvadeep Kadian (BSc 2014-2015, King's, mark 70%) Home Control, Automation & Management
- System Optimised for the Raspberry Pi
-- ...
-
-
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 @@
Eleanor Davis (2021, Warwick University)
Kawin Worrasangasilpa (2021, Cambridge)
Chelsea Louise Edmonds (2023, Cambridge)
+Gabriel Ferreira Silva (2024, University of Brasilia)
|
@@ -149,6 +102,19 @@
+2023-2024
+
+
+- Compilers and Formal Languages (173 students)
+
- Practical Experiences of Programming (Scala Part, 5 weeks, 275 students)
+
+ |
+
+
+
+
+
+
2022-2023
|