--- a/index.html	Fri Apr 08 17:05:57 2022 +0100
+++ b/index.html	Sun Apr 10 22:14:00 2022 +0100
@@ -221,7 +221,7 @@
 theorem proving. My funding for this work was provided in 2004 and 2005 by a research 
 fellowship from the 
 <A HREF="http://en.wikipedia.org/wiki/Alexander_von_Humboldt">Alexander-von-Humboldt</A>
-<A HREF="http://www.humboldt-foundation.de/web/home.html">foundation</A>. During this time I was a visitor in the group of 
+<A HREF="https://www.humboldt-foundation.de">foundation</A>. During this time I was a visitor in the group of 
 <A HREF="http://www.mathematik.uni-muenchen.de/~schwicht/">Prof. Helmut Schwichtenberg</A> in Munich.
 Between 2006 and 2011 this work is supported by an
 <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> 
@@ -355,7 +355,7 @@
 from the German government; my year in Marseille by a TMR-fellowship from the EU. 
 My PhD was also one starting point for the EPSRC Project on the Semantics of Classical 
 Proofs. The strong normalisation result in the PhD has been used in 2007 by 
-<A HREF="http://www.destineesnumeriques.com/speaker/aJZiZm5o/claude-kirchner">Prof. Claude Kirchner</A> and his 
+<A HREF="https://jao2015.sciencesconf.org/conference/jao2015/pages/Claude_Kirchner.pdf">Prof. Claude Kirchner</A> and his 
 students for proving consistency of their superdeduction system lemuridae.
 </TD>
 </TR>
@@ -367,7 +367,7 @@
 <B>Forum</B> 
 I implemented Forum, a programming language based on classical linear logic, 
 as my M.Phil. thesis. This was joint work with 
-<A HREF="https://rd.host.cs.st-andrews.ac.uk">Dr Roy Dyckhoff</A>. 
+<A HREF="https://st-andrews.academia.edu/RoyDyckhoff">Dr Roy Dyckhoff</A>. 
 Details can be found  
 <A HREF="https://rd.host.cs.st-andrews.ac.uk/logic/nonmac/">here</A> and
 <A HREF="http://www.lix.polytechnique.fr/Labo/Dale.Miller/forum/">here</A>. During my