兴趣和专长

严格的测试已经成为任何软件生产流程的重要组成部分。但是，仅靠测试还不够。将测试与基于形式方法和程序分析的工具和技术相结合，在代码逐渐增长并变得庞大时尤其有价值。我对形式验证和程序分析的路线充满热情，目的是了解并实现软件对所有潜在威胁的健壮性。

将更多科学思维引入编程语言始终有助于推动开发社区的进步。这些理念能够在编译时即时生效（使用智能IDE则能够在编程时即时生效！）。Rust、Golang、函数式编程以及最近面世的面向区块链的Movelang等都是这一理念的明证。在Supra，我们希望引导和指导基础架构开发人员以及dApp（分布式应用程序）开发人员，使其更加抽象、简化，同时保持安全和高性能。

分布式协议是现代软件系统的基石。构建高效且安全的基础设计至关重要，并且变得越来越必要。在Supra，我们从原始的角度看待所有分布式协议，并提供重要意见，以使整个行业和社区受益。

评述

我们的首席执行官Joshua Tobkin在组织中深深地灌输了“研究第一”的思想。他以其策略、远见卓识和重要见解引导研究团队将深刻见解与实用价值相结合。我们发明了一系列高吞吐量、低延迟、可扩展的共识协议，以支撑Supra作为IntraLayer的定位。

我们从更实际的理性模型出发，详细考虑了高度安全的跨链协议的模式，精心制定了一系列跨链协议，并使用博弈论技巧对其进行了严格分析。

精选研究论文