72 |
72 |
73 |
73 |
74 <!-- right column --> |
74 <!-- right column --> |
75 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
75 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
76 <H2>Teaching</H2> |
76 <H2>Teaching</H2> |
77 |
77 |
78 <p>Undergraduate students who have written dissertations under my supervision: |
78 <p>Undergraduate students who have written dissertations under my supervision: |
79 <ul> |
79 <ul> |
80 <li>Dominik Wee (2002-2003, King's College, Cambride; now at McKinsey in Munich) |
80 <li>Dominik Wee (2002-2003, King's College, Cambride; now at McKinsey in Munich) |
81 Part-II dissertation: An Implementation of Alpha-Prolog, |
81 Part-II dissertation: An Implementation of Alpha-Prolog, |
82 A Logic Programming Language with Support for Binding Syntax (out of 84 dissertations, Dominik's |
82 A Logic Programming Language with Support for Binding Syntax (out of 84 dissertations, Dominik's |
111 developed at NASA</li> |
111 developed at NASA</li> |
112 <li>Ben Lertlumprasertkul (BSc 2013-2014, King's) An Online Collaboration System</li> |
112 <li>Ben Lertlumprasertkul (BSc 2013-2014, King's) An Online Collaboration System</li> |
113 <li>Pawel Huszcza (MSci 2013-2014, King's, mark: 65%) A Simple Compiler Targeting the LLVM</li> |
113 <li>Pawel Huszcza (MSci 2013-2014, King's, mark: 65%) A Simple Compiler Targeting the LLVM</li> |
114 <li>Jan Soendermann (BSc 2013-2014, King's, mark: 85%, studies for his MSc at Cambridge University) |
114 <li>Jan Soendermann (BSc 2013-2014, King's, mark: 85%, studies for his MSc at Cambridge University) |
115 A Lisp Compiler Targeting JavaScript/Asm.js</li> |
115 A Lisp Compiler Targeting JavaScript/Asm.js</li> |
116 <li>Ritu Kundu (MSc 2013-2014, King's) Modern Slide-Making in Elm and JavaScript</li> |
116 <li>Ritu Kundu (MSc 2013-2014, King's, mark 79%) Modern Slide-Making in Elm and JavaScript</li> |
117 <li>Vladislav Kononov (MSc 2013-2014, King's) Regular Expression Matching with Derivatives</li> |
117 <li>Vladislav Kononov (MSc 2013-2014, King's, mark 75%) Regular Expression Matching with Derivatives</li> |
118 <li>Daniel Martinez (MSc 2013-2014, King's) Raspberry Pi Network</li> |
118 <li>Daniel Martinez (MSc 2013-2014, King's, mark 73%) Raspberry Pi Network</li> |
119 </ul> |
119 </ul> |
|
120 |
|
121 <p> |
|
122 I was awarded in 2014 the prizes for best supervisor for BSc and MSc projects. |
|
123 </p> |
120 |
124 |
121 <p>Examiner of PhD-theses: |
125 <p>Examiner of PhD-theses: |
122 <ul> |
126 <ul> |
123 <li>Dragisa Zunic (2007, ENS in Lyon) |
127 <li>Dragisa Zunic (2007, ENS in Lyon) |
124 <li>Clement Houtmann (2010, INRIA Bordeaux) |
128 <li>Clement Houtmann (2010, INRIA Bordeaux) |