Edwin is Lecturer in Computer Science at the University of St Andrews in Scotland, interested in type-driven development, domain-specific languages and reasoning about effectful programs.

When he's not doing that, he might be playing Go, watching cricket, or wandering around Scotland's hills.