Former physicist with a doctorate in particle and atomic physics, love mathematics, and currently a lead blockchain engineer. I enjoy using functional programming to create provably correct programs, and love leveraging that skill to create correct and secure blockchain software.