Tiến si Srivatsan Ravi
高級首席研究員
計算機科學碩士
康奈爾大學,美國紐約
電腦科學博士
柏林工業大學

關於
Srivatsan Ravi 博士從事分佈式/並發計算的理論與實踐研究。他專注於容錯分佈式系統的算法和下界,重點是構建可證明安全和可靠的並發/分佈式系統和應用程序。他曾擔任多個美國DARPA和NSF項目的主要研究員,這些項目在5G網絡和金融技術等領域引入了安全且可擴展的分佈式技術。
興趣和專長
Dr. Srivatsan Ravi 從事分佈式/並發計算的理論和實踐工作。他專注於容錯分佈式系統的算法和下限,致力於構建經證明安全可靠的並發/分佈式系統和應用程序。他目前的工作側重於智能合約生態系統的端到端建模和驗證、並行執行和分佈式存儲。
評述
在 Supra,Dr. Srivatsan Ravi 致力於推進去中心化存儲和 Supra 多虛擬機部署的並行執行模型,並採用新的自適應解決方案以擴展動態智能合約的工作負載。
"精選研論文 "
欲了解更多,請造訪研究中心
2021
AMPPERE:用於隱私保護實體解析評估的通用抽象機器
與Dan Alistarh,Justin Kopinsky,Petr Kuznetsov和Nir Shavit合作 • CIKM 2021





