Edwin Brady

Creator of the Idris programming language, researcher in dependent types.