# HG changeset patch # User Christian Urban # Date 1325189094 0 # Node ID f16d3ef4d999ea6927a72d4df3ed3bbee7efca07 # Parent cb2873d5bb43b955e2ebe809044943e7cf65f116 tuned 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 (DAAD).

-Research Interests theorem provers, programming languages, compilers, +Research Interests theorem provers, verification, programming languages, compilers, algorithms, proof theory, type systems, concurrency, lambda calculus, unification, regular expressions, computability, complexity, functional and logic programming.

@@ -291,7 +291,7 @@

-Last modified: Wed Dec 21 12:27:35 GMT 2011 +Last modified: Thu Dec 29 20:04:24 GMT 2011 [Validate this page.]