Доктор Сриватсан Рави
Ведущий старший исследователь
Магистр компьютерных наук
Корнеллский университет, Нью-Йорк, США
PhD в области компьютерных наук
Технический университет Берлина

О нас
Доктор Сривастан Рави занимается теорией и практикой распределенных/параллельных вычислений. Его работа сосредоточена на алгоритмах и нижних границах для отказоустойчивых распределенных систем, с упором на создание доказуемо безопасных и надежных параллельных/распределенных систем и приложений. Он выступал в роли ключевого исследователя в нескольких проектах DARPA и NSF США, которые внедрили безопасные и масштабируемые распределенные технологии для таких областей, как сети 5G и финансовые технологии.
Интересы и экспертиза
Доктор Сривастан Рави занимается теорией и практикой распределённых/конкурентных вычислений. Его работа сосредоточена на алгоритмах и нижних границах для отказоустойчивых распределённых систем с акцентом на создание доказуемо безопасных и надёжных конкурентных/распределённых систем и приложений. В настоящее время он работает над сквозным моделированием и проверкой экосистем смарт-контрактов, параллельным выполнением и распределённым хранением данных.
Комментарий
В Supra доктор Сривастан Рави работает над улучшением моделей децентрализованного хранения и параллельного выполнения для multi-VM развертывания Supra, а также применяет новые адаптивные решения для масштабирования рабочих нагрузок динамических смарт-контрактов.
Избранные научные публикации
Посетите Исследовательский Центр, чтобы узнать больше
2024
Пересмотр консенсуса Накамото в асинхронных сетях: комплексный анализ безопасности и качества цепи Биткоина
с Мухаммедом Саадом, Афсахом Анваром и Дэвидом Мохаисеном • IEEE/ACM Транзакции по сетям, 2024
2023
FedGCN: Компромиссы между сходимостью и коммуникацией при федеративном обучении графовых сверточных сетей
с Юханом Яо, Вэйчжао Цзинь и Карли Джо-Вонг • NeurIPS 2023
2022
PREP-UC: Практическая реплицируемая устойчивая универсальная конструкция
с Гаэтано К. Коччимильо и Тревором А. Брауном • SPAA 2022
2021
AMPPERE: Универсальная абстрактная машина для оценки разрешения сущностей с сохранением конфиденциальности
с Даном Алиштаром, Джастином Копински, Петром Кузнецовым и Ниром Шавитом • CIKM 2021
2020
Масштабируемое и сериализуемое программирование сетевых многоактёрных систем
с Бо Сангом, Патриком Эгстером, Густаво Петри и Пьером-Луи Романом





