78 </TR> |
78 </TR> |
79 |
79 |
80 <TR> |
80 <TR> |
81 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
81 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
82 <B>Current Position</B> |
82 <B>Current Position</B> |
83 I have been awarded an |
83 I am a lecturer in the Department of Informatics at King's College London. |
84 <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> |
84 This is similar to a position of an assistant professorship in other places. In 2011, |
85 <A HREF="http://www.dfg.de/en/research_funding/programmes/individual/emmy_noether/in_brief/index.html">fellowship</A> |
85 I was also offered a lectureship |
86 to head an independent <A HREF="http://isabelle.in.tum.de/nominal/">research group</A> in |
86 <A HREF="http://www.it.uu.se/" TITLE="Uppsala">here</A>, an associate professorship |
87 the Computer Science Department at the |
87 <A HREF="http://www.itu.dk/en/" TITLE="ITU, Copenhagen">here</A>, |
88 <A HREF="http://www.in.tum.de/en.html">TU Munich</A>. This group co-operates |
88 and a full professorship |
89 with the <A HREF="http://www4.in.tum.de/proj/theoremprov/group.html">Theorem Proving Group</A> |
89 <A HREF="http://www.ustcsz.edu.cn/kedweb/" TITLE="IAS, Suzhou">here</A> and |
90 chaired by <A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/">Prof. Tobias Nipkow</A> and |
90 <A HREF="http://www.sei.ecnu.edu.cn/apps/portal/home.html" TITLE="Shanghai">here</A>. |
91 is accommodated by the institute of |
91 I thank all people involved for their efforts. |
92 <A HREF="http://www4.informatik.tu-muenchen.de/~broy/">Prof. Manfred Broy</A>. |
|
93 <P> |
92 <P> |
94 |
93 |
95 <B>Past Positions</B> |
94 <B>Past Positions</B> |
|
95 In April 2006, I was awarded an <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> |
|
96 <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 |
|
97 September 2011. |
96 Between September 2008 and February 2009, I was an invited research fellow in |
98 Between September 2008 and February 2009, I was an invited research fellow in |
97 the <A HREF="http://www.cs.princeton.edu/">Department of Computer Science</A> in Princeton. |
99 the <A HREF="http://www.cs.princeton.edu/">Department of Computer Science</A> in Princeton. |
98 In 2004/05 I was an Alexander-von-Humboldt fellow in Munich and |
100 In 2004/05 I was an Alexander-von-Humboldt fellow in Munich and |
99 from 2000 until 2004 I was awarded a Research Fellowship in Cambridge. Before that |
101 from 2000 until 2004 I was awarded a Research Fellowship in Cambridge. Before that |
100 I did my PhD in Cambridge. |
102 I did my PhD in Cambridge. |
261 |
263 |
262 |
264 |
263 </TABLE> |
265 </TABLE> |
264 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
266 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
265 <!-- hhmts start --> |
267 <!-- hhmts start --> |
266 Last modified: Sat Oct 22 13:37:43 BST 2011 |
268 Last modified: Sun Oct 23 01:34:29 BST 2011 |
267 <!-- hhmts end --> |
269 <!-- hhmts end --> |
268 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
270 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
269 |
271 |
270 <!-- script type="text/javascript"> |
272 <!-- script type="text/javascript"> |
271 var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www."); |
273 var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www."); |