Gopinath Mishra

Aprende los métodos paralelos para verificar y analizar árboles de expansión mínima.

Investigación sobre cómo rastrear grupos en redes cambiantes durante cambios dinámicos.

Aprende cómo la prueba de propiedades facilita el análisis eficiente de grandes conjuntos de datos.