equal
deleted
inserted
replaced
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 two scholarships 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, verification, programming languages, compilers, |
132 algorithms, proof theory, type systems, concurrency, lambda calculus, unification, |
132 algorithms, proof theory, type systems, concurrency, lambda calculus, unification, |
133 regular expressions, computability, complexity, functional and logic programming. |
133 regular expressions, computability, complexity, functional and logic programming. |
134 <P> |
134 <P> |
135 |
135 |
136 <B>Conferences</B> |
136 <B>Conferences</B> |
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: Wed Dec 21 12:27:35 GMT 2011 |
294 Last modified: Thu Dec 29 20:04:24 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> |