diff -r cb2873d5bb43 -r f16d3ef4d999 index.html
--- a/index.html	Thu Dec 29 12:43:27 2011 +0000
+++ b/index.html	Thu Dec 29 20:04:54 2011 +0000
@@ -128,7 +128,7 @@
 Service (<A HREF="http://www.daad.de/index.html">DAAD</A>).
 <P>
 
-<B>Research Interests</B> theorem provers, programming languages, compilers, 
+<B>Research Interests</B> theorem provers, verification, programming languages, compilers, 
 algorithms, proof theory, type systems, concurrency, lambda calculus, unification, 
 regular expressions, computability, complexity, functional and logic  programming.
 <P>
@@ -291,7 +291,7 @@
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Wed Dec 21 12:27:35 GMT 2011
+Last modified: Thu Dec 29 20:04:24 GMT 2011
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>