--- a/index.html	Fri Dec 02 03:28:02 2011 +0000
+++ b/index.html	Fri Dec 02 17:37:46 2011 +0000
@@ -124,7 +124,8 @@
 the <A HREF="http://www.cs.princeton.edu/">Department of Computer Science</A> in Princeton.
 In 2004/05 I was an Alexander-von-Humboldt fellow in Munich and 
 from 2000 until 2004 I was awarded a Research Fellowship in Cambridge. Before that
-I did my PhD in Cambridge.
+I did my PhD in Cambridge funded by a scholarship from the German Academic Exchange 
+Service (<A HREF="http://www.daad.de/index.html">DAAD</A>).
 <P>
 
 <B>Research Interests</B> theorem provers, programming languages, compilers, 
@@ -290,7 +291,7 @@
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Tue Nov  1 10:59:41 GMT 2011
+Last modified: Fri Dec  2 17:37:27 GMT 2011
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>