Investigador Principal Senior
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.
Diseño de Sistemas Distribuidos y Modelos de Programación, Memoria Transaccional
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.
con Muhammad Saad, Afsah Anwar y David Mohaisen • IEEE/ACM Transacciones en Redes, 2024
Con Yuhang Yao, Weizhao Jin y Carlee Joe-Wong • NeurIPS 2023
Con Gaetano C. Coccimiglio y Trevor A. Brown, • SPAA 2022
Con Dan Alistarh, Justin Kopinsky, Petr Kuznetsov y Nir Shavit • CIKM 2021
Con Bo Sang, Patrick Eugster, Gustavo Petri y Pierre-Louis Roman
©2024 Supra | Entropy Foundation (Suiza: CHE.383.364.961). Todos los derechos reservados