Courtney
Robinson
CTO
at
Hypi
Founder and CTO of Hypi, PhD student investigating application of Category Theory to distributed systems with a view of making them provably correct even in the face of failures.