Léonard Lys holds a Ph.D. in blockchain interoperability, focusing on designing and verifying the correctness of blockchain protocols.
