--- a/teaching.html	Wed Jun 27 14:12:24 2018 +0100
+++ b/teaching.html	Mon Jul 16 10:55:10 2018 +0100
@@ -77,7 +77,7 @@
   
 <p>Undergraduate students who have written dissertations under my supervision:
 <ul>
-<li>Dominik Wee (2002-2003, King's College, Cambride; now at McKinsey in Munich) 
+<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>
@@ -136,8 +136,8 @@
 <li>Andrew Boyton (2014, UNSW Australia)
 <li>Amy Furniss (2015, Leicester)
 <li>Julian Hedges (2016, QMUL London)
-<li>Ana Cristina Rocha-Oliveira (2016, University of Brasilia)
-</ul>
+<li>Ana Cristina Rocha-Oliveira   (2016, University of Brasilia)
+</ul> 
 
 </TD>
 </TR>
@@ -224,7 +224,7 @@
 <p><B>Spring</B>
 <ul>
 <li>Help Steffen Zschaler with the Programming Application course; I
-am resposible for the exercises and the Scala part
+am responsible for the exercises and the Scala part
 </ul>
 </TD>
 </TR>
@@ -471,7 +471,7 @@
 <dl><dd>Discrete Mathematics II 
     <dd>Semantics of Programming Languages 
     <dd>Computation Theory 
-    <dd>Probablility 
+    <dd>Probability 
 </dl>
 <p><B>Easter</B> 
 <dl><dd>Regular Languages and Finite Automata
@@ -487,7 +487,7 @@
 <dl>
 <dd>Types
 <dd>Denotational Semantics
-<dd>Communicating Atomata and Pi-calculus
+<dd>Communicating Automata and Pi-calculus
 <dd>Semantics of Programming Languages 
 <dd>Foundations of Functional Programming 
 <dd>Probability