# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1319330109 -3600
# Node ID d0307c9d0a61561c7c6e54aa05f0fc233bf76112
# Parent  93d20e2b05e741afa3b1708017d1f5ae55bd5994
tuned

diff -r 93d20e2b05e7 -r d0307c9d0a61 index.html
--- a/index.html	Sat Oct 22 13:41:10 2011 +0100
+++ b/index.html	Sun Oct 23 01:35:09 2011 +0100
@@ -80,19 +80,21 @@
 <TR>
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <B>Current Position</B> 
-I have been awarded an 
-<A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> 
-<A HREF="http://www.dfg.de/en/research_funding/programmes/individual/emmy_noether/in_brief/index.html">fellowship</A>
-to head an independent <A HREF="http://isabelle.in.tum.de/nominal/">research group</A> in 
-the Computer Science Department at the 
-<A HREF="http://www.in.tum.de/en.html">TU Munich</A>. This group co-operates
-with the <A HREF="http://www4.in.tum.de/proj/theoremprov/group.html">Theorem Proving Group</A> 
-chaired by <A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/">Prof. Tobias Nipkow</A> and
-is accommodated by the institute of 
-<A HREF="http://www4.informatik.tu-muenchen.de/~broy/">Prof. Manfred Broy</A>.
+I am a lecturer in the Department of Informatics at King's College London.
+This is similar to a position of an assistant professorship in other places. In 2011,
+I was also offered a lectureship 
+<A HREF="http://www.it.uu.se/" TITLE="Uppsala">here</A>, an associate professorship 
+<A HREF="http://www.itu.dk/en/" TITLE="ITU, Copenhagen">here</A>,
+and a full professorship 
+<A HREF="http://www.ustcsz.edu.cn/kedweb/" TITLE="IAS, Suzhou">here</A> and 
+<A HREF="http://www.sei.ecnu.edu.cn/apps/portal/home.html" TITLE="Shanghai">here</A>. 
+I thank all people involved for their efforts.
 <P>
 
 <B>Past Positions</B> 
+In April 2006, I was awarded an <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> 
+<A HREF="http://www.dfg.de/en/research_funding/programmes/individual/emmy_noether/in_brief/index.html">fellowship</A>, which I held at the <A HREF="http://www.in.tum.de/en.html">TU Munich</A> until
+September 2011.
 Between September 2008 and February 2009, I was an invited research fellow in 
 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 
@@ -263,7 +265,7 @@
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Sat Oct 22 13:37:43 BST 2011
+Last modified: Sun Oct 23 01:34:29 BST 2011
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>