Ronghui Gu, Profesor Asistente de Ciencias de la Computación, describe su trabajo sobre cómo mejorar la fiabilidad y seguridad de los sistemas de blockchain utilizando técnicas de verificación formal como parte de la programación virtual para el Alumni Weekend Reinvented. Discute las vulnerabilidades de los sistemas de blockchain actuales y las limitaciones de las soluciones tradicionales; cómo la verificación formal puede utilizarse para hacer que los contratos inteligentes y el blockchain estén libres de errores y sean resistentes a los hackers; y las aplicaciones existentes y potenciales de la verificación formal en sistemas de blockchain del mundo real.