Dr. Srivatsan Ravi
Kıdemli Baş Araştırmacı
Bilgisayar Bilimleri Yüksek Lisansı
Cornell Üniversitesi, New York, ABD
Bilgisayar Bilimleri Doktorası
Berlin Teknik Üniversitesi
Hakkımızda
Dr. Srivatsan Ravi, dağıtık/eşzamanlı hesaplama teorisi ve pratiği üzerinde çalışmaktadır. Odak noktası, kanıtlanabilir şekilde güvenli ve emniyetli eşzamanlı/dağıtık sistemler ve uygulamalar oluşturmaya odaklanarak hataya dayanıklı dağıtık sistemler için algoritmalar ve alt sınırlar üzerinedir. Mevcut çalışmaları akıllı sözleşme ekosistemlerinin uçtan uca modellenmesi ve doğrulanması, paralel yürütme ve dağıtık depolama üzerine odaklanmaktadır.
İlgi alanları ve uzmanlık
Dağıtık Sistem Tasarımı ve Programlama Modelleri, İşlemsel Bellek
Yorum
Supra'da Dr. Srivatsan Ravi, Supra çoklu VM dağıtımı için merkezi olmayan depolama ve paralel yürütme modellerini geliştirmenin yanı sıra dinamik akıllı sözleşme iş yüklerini ölçeklendirmek için yeni uyarlanabilir çözümler üzerinde çalışıyor.
Seçilmiş araştırma yayınları
Daha fazlası için Araştırma Merkezini ziyaret edin
2024
Asenkron Ağlarda Nakamoto Mutabakatını Yeniden İncelemek: Bitcoin Güvenliği ve Zincir Kalitesinin Kapsamlı Bir Analizi
Muhammad Saad, Afsah Anwar ve David Mohaisen ile birlikte • IEEE/ACM Ağ Üzerinden İşlemler, 2024
2023
FedGCN: Grafik Evrişimsel Ağların Federasyonlu Eğitiminde Yakınsama-İletişim Takasları
Yuhang Yao, Weizhao Jin ve Carlee Joe-Wong ile birlikte • NeurIPS 2023
2022
PREP-UC: Pratik Yedekli Sürekli Evrensel Yapı
Gaetano C. Coccimiglio ve Trevor A. Brown ile birlikte, • SPAA 2022
2021
AMPPERE: Gizliliği Koruyan Varlık Çözümleme Değerlendirmesi için Evrensel Soyut Makine
Dan Alistarh, Justin Kopinsky, Petr Kuznetsov ve Nir Shavit ile • CIKM 2021
2020
Ölçeklenebilir ve Serileştirilebilir Ağa Bağlı Çok Aktörlü Programlama
Bo Sang, Patrick Eugster, Gustavo Petri ve Pierre-Louis Roman ile
