Robin Green

Expert Overview

Robin Green is a programmer with a long-standing interest in functional programming and formal verification. He started programming in Basic as a child in the 1980s and worked his way up to programming in proof assistants. He has a BSc in Computer Science, Mathematics and Independent Studies from Lancaster University, and an MSc in Computer Science from UCD Dublin. His thesis title was "Verified Monadic Programming".

Things I'm Doing
Talks I've Given

Talks I've Given