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