University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.
University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties.
University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages.
Lists functional programs written primarily to perform to real-world tasks. Has pure programs (no side effects) and impure (some use of side effects). Languages: Caml, Clean, Erlang, Haskell, Miranda, Scheme, Standard ML.