Интересы и экспертиза

Доктор Сривастан Рави занимается теорией и практикой распределённых/конкурентных вычислений. Его работа сосредоточена на алгоритмах и нижних границах для отказоустойчивых распределённых систем с акцентом на создание доказуемо безопасных и надёжных конкурентных/распределённых систем и приложений. В настоящее время он работает над сквозным моделированием и проверкой экосистем смарт-контрактов, параллельным выполнением и распределённым хранением данных.

Комментарий

В Supra доктор Сривастан Рави работает над улучшением моделей децентрализованного хранения и параллельного выполнения для multi-VM развертывания Supra, а также применяет новые адаптивные решения для масштабирования рабочих нагрузок динамических смарт-контрактов.

Избранные научные публикации