Research software engineer at the University of Edinburgh, working on typed concurrent functional programming languages and their applications to concurrency and web programming.