122 September 2011.

   122 September 2011.

   123 Between September 2008 and February 2009, I was an invited research fellow in 

   123 Between September 2008 and February 2009, I was an invited research fellow in 

   124 the <A HREF="http://www.cs.princeton.edu/">Department of Computer Science</A> in Princeton.

   124 the <A HREF="http://www.cs.princeton.edu/">Department of Computer Science</A> in Princeton.

   125 In 2004/05 I was an Alexander-von-Humboldt fellow in Munich and 

   125 In 2004/05 I was an Alexander-von-Humboldt fellow in Munich and 

   126 from 2000 until 2004 I was awarded a Research Fellowship in Cambridge. Before that

   126 from 2000 until 2004 I was awarded a Research Fellowship in Cambridge. Before that

   128 <P>

   129 <P>

   129 

   130 

   130 <B>Research Interests</B> theorem provers, programming languages, compilers, 

   131 <B>Research Interests</B> theorem provers, programming languages, compilers, 

   131 algorithms, proof theory, type systems, concurrency, lambda calculus, unification, 

   132 algorithms, proof theory, type systems, concurrency, lambda calculus, unification, 

   132 regular expressions, computability, complexity, functional and logic  programming.

   133 regular expressions, computability, complexity, functional and logic  programming.

   288  

   289  

   289 

   290 

   290 </TABLE>

   291 </TABLE>

   291 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->

   292 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->

   292 <!-- hhmts start -->

   293 <!-- hhmts start -->

   294 <!-- hhmts end -->

   295 <!-- hhmts end -->

   295 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>

   296 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>

   296 

   297 

   297 </BODY>

   298 </BODY>

   298 </HTML>

   299 </HTML>