Yjthnc6htxpfo0hlnvg9
SkillsCast

Lightning Talk: Proving your Haskell Code Correct with Lean

11th October 2018 in London at CodeNode

There are 38 other SkillsCasts available from Haskell eXchange 2018

Lightning Talk: Proving your Haskell Code Correct with Lean

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

SkillsCast
About the Speaker

Lightning Talk: Proving your Haskell Code Correct with Lean

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

Photos