102 </TR> |
102 </TR> |
103 |
103 |
104 <TR> |
104 <TR> |
105 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
105 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
106 <B>Current Position</B> |
106 <B>Current Position</B> |
107 I am a lecturer in the Department of Informatics at King's College London. |
107 Since 2011 I have been a lecturer in the Department of Informatics at King's College London. |
108 This is similar to a position of an assistant professor in other places. In 2011, |
108 This is similar to a position of an assistant professor in other places. In 2011, |
109 I was also offered a lectureship |
109 I was also offered a lectureship |
110 <A HREF="http://www.it.uu.se/" TITLE="Uppsala">here</A>, an associate professorship |
110 <A HREF="http://www.it.uu.se/" TITLE="Uppsala">here</A>, an associate professorship |
111 <A HREF="http://en.itu.dk/" TITLE="ITU, Copenhagen">here</A>, |
111 <A HREF="http://en.itu.dk/" TITLE="ITU, Copenhagen">here</A>, |
112 and full professorships |
112 and full professorships |
128 <P> |
128 <P> |
129 |
129 |
130 <B>Skolem Award 2015</B> Together with |
130 <B>Skolem Award 2015</B> Together with |
131 <A HREF="http://www.pps.univ-paris-diderot.fr/~tasson/">Christine Tasson</A>, I was awarded a |
131 <A HREF="http://www.pps.univ-paris-diderot.fr/~tasson/">Christine Tasson</A>, I was awarded a |
132 <A HREF="http://cadeinc.org/Skolem-Award">Thoralf Skolem Award</A>, a ten-year |
132 <A HREF="http://cadeinc.org/Skolem-Award">Thoralf Skolem Award</A>, a ten-year |
133 test-of-time award from CADE, for our |
133 test-of-time award from CADE. This was for our |
134 <A HREF="https://nms.kcl.ac.uk/christian.urban/Publications/nom-cade-05.ps">paper</A> |
134 <A HREF="https://nms.kcl.ac.uk/christian.urban/Publications/nom-cade-05.ps">paper</A> |
135 on Nominal Techniques in Isabelle/HOL from 2005. This award was given also to Nicolaas de Bruijn and |
135 on Nominal Techniques in Isabelle/HOL from 2005. The Skolem Award award was given also |
|
136 to Nicolaas de Bruijn, Zohar Manna and |
136 Nachum Derschowitz, amongst others. |
137 Nachum Derschowitz, amongst others. |
137 <P> |
138 <P> |
138 |
139 |
139 <B>Research Interests</B> theorem provers, verification, programming languages, compilers, |
140 <B>Research Interests</B> theorem provers, verification, programming languages, compilers, |
140 algorithms, proof theory, type systems, concurrency, lambda calculus, unification, |
141 algorithms, security, proof theory, type systems, concurrency, lambda calculus, unification, |
141 regular expressions, computability, complexity, functional and logic programming. |
142 regular expressions, computability, complexity, functional and logic programming. |
142 <P> |
143 <P> |
143 |
144 |
144 <B>Teaching</B> I usually enjoy teaching. At King's my students nominated me for the Teaching |
145 <B>Teaching</B> I usually enjoy teaching. At King's my students nominated me for the Teaching |
145 Excellence Award in |
146 Excellence Award in |