Franck Cassez 是一位专注于区块链技术与形式化验证领域的资深研究人员。他长期从事计算机科学研究，尤其在程序验证、形式化方法和智能合约安全领域拥有深厚积累。在加入 Movement 担任研究主管之前，他曾在以太坊生态核心企业之一 ConsenSys 任职，参与了与以太坊相关的多项研究工作。他的学术背景使其在区块链底层技术研究、智能合约形式化验证、安全性审计等方面具有独特的专业优势。Movement 是一个面向高性能模块化区块链的项目，Franck Cassez 在其中负责领导研究团队，推动前沿技术的研究与落地应用。
Franck Cassez 在计算机科学领域接受系统学术训练，深耕形式化方法、程序验证等研究方向，积累了深厚的理论基础和学术能力。
加入以太坊生态核心企业 ConsenSys，参与以太坊相关的技术研究与开发工作，深入了解区块链底层架构和智能合约技术。
出任 Movement 项目研究主管（Research Director），领导研究团队在模块化区块链、性能优化、安全性等方向进行前沿探索与创新研究。
持续推动形式化验证技术在区块链领域的应用，致力于提升智能合约和区块链系统的安全性与可靠性。
形式化验证是保障区块链系统和智能合约安全的关键手段，应将学术研究成果更多地应用于实际产业场景中。
学术研究能力是推动区块链技术创新的核心驱动力，理论与实践的结合才能产生真正有价值的技术突破。
