Mercurial Mercurial > hg > public_html / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
index.html
changeset 46 87dc0c744ab2
parent 45 eb3048ee8858
child 52 43f1e7f8c6ac
equal deleted inserted replaced
45:eb3048ee8858 46:87dc0c744ab2 
   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
 
   127 I did my PhD in Cambridge funded by a scholarship from the German Academic Exchange 
   127 I did my PhD in Cambridge funded by two scholarships from the German Academic Exchange 
   128 Service (<A HREF="http://www.daad.de/index.html">DAAD</A>).
 
   128 Service (<A HREF="http://www.daad.de/index.html">DAAD</A>).
 
   129 <P>
 
   129 <P>
 
   130 
   130 
   131 <B>Research Interests</B> theorem provers, programming languages, compilers, 
   131 <B>Research Interests</B> theorem provers, programming languages, compilers, 
   132 algorithms, proof theory, type systems, concurrency, lambda calculus, unification, 
   132 algorithms, proof theory, type systems, concurrency, lambda calculus, unification, 
   289  
   289  
   290 
   290 
   291 </TABLE>
 
   291 </TABLE>
 
   292 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 
   292 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 
   293 <!-- hhmts start -->
 
   293 <!-- hhmts start -->
 
   294 Last modified: Fri Dec  2 17:37:27 GMT 2011
 
   294 Last modified: Sat Dec  3 01:52:09 GMT 2011
 
   295 <!-- hhmts end -->
 
   295 <!-- hhmts end -->
 
   296 <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>
 
   297 
   297 
   298 </BODY>
 
   298 </BODY>
 
   299 </HTML>
 
   299 </HTML>
public_html