--- a/index.html	Wed Jan 14 01:25:28 2015 +0000
+++ b/index.html	Wed Jan 14 18:11:05 2015 +0000
@@ -286,7 +286,7 @@
 <A HREF="http://www.cl.cam.ac.uk">Computer Laboratory</A>
 and for three years 
 called Gonville and Caius College my home. I was very lucky to have   
-<A HREF="http://research.microsoft.com/~gmb/">Dr Gavin Bierman</A>
+<A HREF="https://labs.oracle.com/pls/apex/f?p=labs:bio:0:2044">Dr Gavin Bierman</A>
 as supervisor. My research in Cambridge was also very  much influenced by 
 <A HREF="http://www.dpmms.cam.ac.uk/~martin/">Prof. Martin Hyland</A>.
 Some details on my thesis "Classical Logic and Computation" are