Quentin GarcheryMember of the protocol team at Morpho since 2022. Garchery completed a PhD in program verification at LMF in 2022.2 talks by Quentin GarcheryDeFi Security Summit 2023: Day 1, 15 JulyFormally Verifying Morpho