Kathleen is the Co-founder of Tezos, a revolutionary decentralized Blockchain that regulates itself, creating a real digital commonwealth. Tezos improves the security of the most sensitive or financially weighted smart contracts by facilitating formal verification, which mathematically validates the accuracy of the code regulating transactions. Kathleen is also the CEO of Dynamic Ledger Solutions, which developed Tezos’ initial version. Kathleen formerly worked at R3, a group of more than 70 financial businesses, as a senior strategy associate. She earned a bachelor’s degree from Cornell University. Currently, Kathleen has turned her attention to Coase, a company she co-founded. Coase is a software company that hopes to lower transaction prices within new digital economies.