興趣和專長

嚴格的測試已經成為任何軟體生產流程的重要組成部分。但是，僅靠測試還不夠。將測試與基於形式方法和程序分析的工具和技術相結合，在程式碼逐漸增長並變得龐大時尤其有價值。我對形式驗證和程序分析的路線充滿熱情，目的是了解並實現軟體對所有潛在威脅的健全性。

將更多科學思維引入程式語言始終有助於推動開發社群的進步。這些理念能夠在編譯時即時生效（使用智能IDE則能夠在程式設計時即時生效！）。 Rust、Golang、函數式程式設計以及最近面世的Movelang 等面向區塊鏈的都是這理念的明證。在Supra，我們希望引導和指導基礎架構開發人員以及dApp（分散式應用程式）開發人員，使其更加抽象、簡化，同時保持安全和高效能。

分散式協定是現代軟體系統的基石。建立高效且安全的基礎設計至關重要，並且變得越來越必要。在Supra，我們從原始的角度看待所有分散式協議，並提供重要意見，以使整個行業和社區受益。

評述

我們的執行長Joshua Tobkin在組織中深深灌輸了「研究第一」的想法。他以其策略、遠見卓識和重要見解引導研究團隊將深刻見解與實用價值結合。我們發明了一系列高吞吐量、低延遲、可擴展的共識協議，以支撐Supra作為IntraLayer的定位。

我們從更實際的理性模型出發，詳細考慮了高度安全的跨鏈協議的模式，精心製定了一系列跨鏈協議，並使用博弈論技巧對其進行了嚴格分析。

"精選研論文 "