Nhà nghiên cứu cấp cao
Tiến sĩ Srivatsan Ravi nghiên cứu về lý thuyết và thực hành của tính toán phân tán/đồng thời. Ông tập trung vào các thuật toán và giới hạn dưới cho các hệ thống phân tán chịu lỗi, với trọng tâm là xây dựng các hệ thống và ứng dụng phân tán/đồng thời có tính an toàn và bảo mật đã được chứng minh. Ông đã từng là Điều tra viên chính trong nhiều dự án của DARPA và NSF Hoa Kỳ, giới thiệu các kỹ thuật phân tán an toàn và có khả năng mở rộng cho các lĩnh vực như mạng 5G và công nghệ tài chính.
Dr. Srivatsan Ravi nghiên cứu về lý thuyết và thực tiễn của tính toán phân tán/đồng thời. Ông tập trung vào các thuật toán và giới hạn thấp cho các hệ thống phân tán chịu lỗi, với mục tiêu xây dựng các hệ thống và ứng dụng phân tán/đồng thời an toàn và bảo mật đã được chứng minh. Hiện tại, công việc của ông tập trung vào mô hình hóa và xác minh toàn diện hệ sinh thái hợp đồng thông minh, thực thi song song và lưu trữ phân tán.
Tại Supra, Dr. Srivatsan Ravi đang phát triển mô hình lưu trữ phi tập trung và thực thi song song cho triển khai đa-VM của Supra, đồng thời áp dụng các giải pháp thích ứng mới để mở rộng khối lượng công việc của hợp đồng thông minh động.
với Muhammad Saad, Afsah Anwar và David Mohaisen • IEEE/ACM Transactions on Networking, 2024
Cùng với Yuhang Yao, Weizhao Jin và Carlee Joe-Wong • NeurIPS 2023
Với Gaetano C. Coccimiglio và Trevor A. Brown, • SPAA 2022
Cộng tác với Dan Alistarh, Justin Kopinsky, Petr Kuznetsov và Nir Shavit • CIKM 2021
Cộng tác với Bo Sang, Patrick Eugster, Gustavo Petri và Pierre-Louis Roman
©2024 Supra | Entropy Foundation (Thụy sĩ: CHE.383.364.961). Đã đăng ký Bản quyền