diff -r e9add3400c7a -r 49cdb274e7ed index.html
--- a/index.html	Mon Feb 26 16:22:21 2018 +0000
+++ b/index.html	Tue Mar 27 11:21:09 2018 +0100
@@ -104,7 +104,7 @@
 <TR>
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <B>Current Position</B> 
-I am a lecturer in the Department of Informatics at King's College London.
+Since 2011 I have been a lecturer in the Department of Informatics at King's College London.
 This is similar to a position of an assistant professor in other places. In 2011,
 I was also offered a lectureship 
 <A HREF="http://www.it.uu.se/" TITLE="Uppsala">here</A>, an associate professorship 
@@ -130,14 +130,15 @@
 <B>Skolem Award 2015</B> Together with
 <A HREF="http://www.pps.univ-paris-diderot.fr/~tasson/">Christine Tasson</A>, I was awarded a
 <A HREF="http://cadeinc.org/Skolem-Award">Thoralf Skolem Award</A>, a ten-year
-  test-of-time award from CADE, for our
+  test-of-time award from CADE. This was for our
   <A HREF="https://nms.kcl.ac.uk/christian.urban/Publications/nom-cade-05.ps">paper</A>
-  on Nominal Techniques in Isabelle/HOL from 2005. This award was given also to Nicolaas de Bruijn and
+  on Nominal Techniques in Isabelle/HOL from 2005. The Skolem Award award was given also
+  to Nicolaas de Bruijn, Zohar Manna and
   Nachum Derschowitz, amongst others.
 <P>
   
 <B>Research Interests</B> theorem provers, verification, programming languages, compilers, 
-algorithms, proof theory, type systems, concurrency, lambda calculus, unification, 
+algorithms, security, proof theory, type systems, concurrency, lambda calculus, unification, 
 regular expressions, computability, complexity, functional and logic  programming.
 <P>