equal
deleted
inserted
replaced
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, Cambridge; 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 |
83 thesis received the Data Connection prize for the highest number of marks awarded in 2003)</li> |
83 thesis received the Data Connection prize for the highest number of marks awarded in 2003)</li> |
84 <li>Lisa White (2003-2004, Corpus, Cambridge) Part-II dissertation: Hal 2004, A Nominal Theorem |
84 <li>Lisa White (2003-2004, Corpus, Cambridge) Part-II dissertation: Hal 2004, A Nominal Theorem |
85 Prover</li> |
85 Prover</li> |
134 <li>Clement Houtmann (2010, INRIA Bordeaux) |
134 <li>Clement Houtmann (2010, INRIA Bordeaux) |
135 <li>Nikolai Sultana (2014, Cambridge) |
135 <li>Nikolai Sultana (2014, Cambridge) |
136 <li>Andrew Boyton (2014, UNSW Australia) |
136 <li>Andrew Boyton (2014, UNSW Australia) |
137 <li>Amy Furniss (2015, Leicester) |
137 <li>Amy Furniss (2015, Leicester) |
138 <li>Julian Hedges (2016, QMUL London) |
138 <li>Julian Hedges (2016, QMUL London) |
139 <li>Ana Cristina Rocha-Oliveira (2016, University of Brasilia) |
139 <li>Ana Cristina Rocha-Oliveira (2016, University of Brasilia) |
140 </ul> |
140 </ul> |
141 |
141 |
142 </TD> |
142 </TD> |
143 </TR> |
143 </TR> |
144 |
144 |
145 <TR> |
145 <TR> |
222 <li>Course on Access Control and Privacy Policies (at King's; original course by Steve Barker) |
222 <li>Course on Access Control and Privacy Policies (at King's; original course by Steve Barker) |
223 </ul> |
223 </ul> |
224 <p><B>Spring</B> |
224 <p><B>Spring</B> |
225 <ul> |
225 <ul> |
226 <li>Help Steffen Zschaler with the Programming Application course; I |
226 <li>Help Steffen Zschaler with the Programming Application course; I |
227 am resposible for the exercises and the Scala part |
227 am responsible for the exercises and the Scala part |
228 </ul> |
228 </ul> |
229 </TD> |
229 </TD> |
230 </TR> |
230 </TR> |
231 |
231 |
232 |
232 |
469 </dl> |
469 </dl> |
470 <p><B>Lent</B> |
470 <p><B>Lent</B> |
471 <dl><dd>Discrete Mathematics II |
471 <dl><dd>Discrete Mathematics II |
472 <dd>Semantics of Programming Languages |
472 <dd>Semantics of Programming Languages |
473 <dd>Computation Theory |
473 <dd>Computation Theory |
474 <dd>Probablility |
474 <dd>Probability |
475 </dl> |
475 </dl> |
476 <p><B>Easter</B> |
476 <p><B>Easter</B> |
477 <dl><dd>Regular Languages and Finite Automata |
477 <dl><dd>Regular Languages and Finite Automata |
478 <dd>Complexity Theory |
478 <dd>Complexity Theory |
479 </dl> |
479 </dl> |
485 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
485 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
486 <H3>previous</H3> |
486 <H3>previous</H3> |
487 <dl> |
487 <dl> |
488 <dd>Types |
488 <dd>Types |
489 <dd>Denotational Semantics |
489 <dd>Denotational Semantics |
490 <dd>Communicating Atomata and Pi-calculus |
490 <dd>Communicating Automata and Pi-calculus |
491 <dd>Semantics of Programming Languages |
491 <dd>Semantics of Programming Languages |
492 <dd>Foundations of Functional Programming |
492 <dd>Foundations of Functional Programming |
493 <dd>Probability |
493 <dd>Probability |
494 <dd>Computation Theory |
494 <dd>Computation Theory |
495 <dd>Complexity Theory |
495 <dd>Complexity Theory |