David Dill

David Dill 是 Facebook 區塊鏈項目的首席研究分析師，在斯坦福大學從教相當長時間， 曾在 nCent Labs 擔任合夥人。 他的研究主要集中在形式化驗證、計算生物學等。在形式化驗證方向，研究了許多不同的方法和應用，並在自動機理論、基於 BDD 的模型檢查、顯式狀態模型檢查、CPU 驗證方法、無量詞邏輯的決策過程中爲該領域做出了許多貢獻。 他還完成了異步電路驗證和綜合以及硬實時系統驗證方法的研究。