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>