Scope of interests: Functional programming, Programming language semantics, Formal verification, Systems design