Dr. Srivatsan Ravi
Investigador Principal Senior
Máster en Ciencias de la Computación
Universidad de Cornell, Nueva York, EE. UU.
Doctorado en Ciencias de la Computación
Universidad Técnica de Berlín

Acerca de
El Dr. Srivatsan Ravi trabaja en la teoría y práctica de la computación distribuida y concurrente. Su enfoque está en algoritmos y límites inferiores para sistemas distribuidos tolerantes a fallos, con el objetivo de construir sistemas y aplicaciones distribuidos/concurrentes que sean demostrablemente seguros y confiables. Su trabajo actual se centra en la modelización y verificación de extremo a extremo de ecosistemas de contratos inteligentes, así como en la ejecución paralela y el almacenamiento distribuido.
Intereses y experiencia
Diseño de Sistemas Distribuidos y Modelos de Programación, Memoria Transaccional
Comentario
En Supra, el Dr. Srivatsan Ravi trabaja en el avance de modelos de almacenamiento descentralizado y de ejecución paralela para el despliegue multi-VM de Supra, además de emplear soluciones adaptativas novedosas para escalar la carga de trabajo dinámica de contratos inteligentes.
Selección de publicaciones de investigación
Visita el Centro de Investigación para más información
2024
Reevaluando el Consenso de Nakamoto en Redes Asincrónicas: Un Análisis Integral de la Seguridad y Calidad de la Cadena de Bitcoin
con Muhammad Saad, Afsah Anwar y David Mohaisen • IEEE/ACM Transacciones en Redes, 2024
2023
FedGCN: Compensaciones entre Convergencia y Comunicación en el Entrenamiento Federado de Redes de Convolución en Grafos
Con Yuhang Yao, Weizhao Jin y Carlee Joe-Wong • NeurIPS 2023
2022
PREP-UC: Una construcción universal persistente replicada práctica
Con Gaetano C. Coccimiglio y Trevor A. Brown, • SPAA 2022
2021
AMPPERE: Una máquina abstracta universal para la evaluación de la resolución de entidades preservando la privacidad
Con Dan Alistarh, Justin Kopinsky, Petr Kuznetsov y Nir Shavit • CIKM 2021
2020
Programación de múltiples actores en red escalable y serializable
Con Bo Sang, Patrick Eugster, Gustavo Petri y Pierre-Louis Roman





