Robin Green

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".

Talks I've Given