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>Skolem Award</B> Together with Christine Tasson I was awarded a |
|
132 <A HREF="http://www.cadeinc.org/SkolemAward.html">Thoralf Skolem Award</A>, a ten-year |
|
133 test-of-time award from CADE, for our |
|
134 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nom-cade-05.ps">paper</A> |
|
135 on Nominal Techniques in Isabelle/HOL from 2005. |
|
136 <P> |
|
137 |
131 <B>Research Interests</B> theorem provers, verification, programming languages, compilers, |
138 <B>Research Interests</B> theorem provers, verification, programming languages, compilers, |
132 algorithms, proof theory, type systems, concurrency, lambda calculus, unification, |
139 algorithms, proof theory, type systems, concurrency, lambda calculus, unification, |
133 regular expressions, computability, complexity, functional and logic programming. |
140 regular expressions, computability, complexity, functional and logic programming. |
134 <P> |
141 <P> |
135 |
142 |