In this week's episode we talk to OXBC member Lewis Harland about his journey to blockchain via a psychology degree and some great connections with other OXBC members, as well as his new newsletter Formal Verification.