Founder/President @kadena_io, JPM & SEC alum, distributed systems and formal verification specialist. $KDA