139 <B>Research Interests</B> theorem provers, verification, programming languages, compilers, |
139 <B>Research Interests</B> theorem provers, verification, programming languages, compilers, |
140 algorithms, proof theory, type systems, concurrency, lambda calculus, unification, |
140 algorithms, proof theory, type systems, concurrency, lambda calculus, unification, |
141 regular expressions, computability, complexity, functional and logic programming. |
141 regular expressions, computability, complexity, functional and logic programming. |
142 <P> |
142 <P> |
143 |
143 |
144 <B>Teaching</B> I usually enjoy teaching. My students nominated me for the Teaching Excellence Award in |
144 <B>Teaching</B> I usually enjoy teaching. At King's my students nominated me for the Teaching |
|
145 Excellence Award in |
145 2012 and 2015. In 2014 I received both prizes for Best UG Project Supervisor and for Best |
146 2012 and 2015. In 2014 I received both prizes for Best UG Project Supervisor and for Best |
146 MSc Project Supervisor in the <A HREF="http://www.kcl.ac.uk/nms/index.aspx">NMS Faculty<A>.<P> |
147 MSc Project Supervisor in the <A HREF="http://www.kcl.ac.uk/nms/index.aspx">NMS Faculty<A>.<P> |
147 |
148 |
148 <B>Conferences</B> |
149 <B>Conferences</B> |
149 UNIF'06 (member of PC), |
150 UNIF'06 (member of PC), |