I'm a professor of Computer Science at the University of Edinburgh, and co-founder and CEO of Contemplate Ltd. I'm interested in functional programming, static analysis, formal methods for software specification and development, and semantics of programming languages.