César Sánchez

Explorando el papel de las hiperpropiedades en la verificación de sistemas de software complejos.

Aprende cómo los rollups optimistas mejoran la velocidad y eficiencia de la blockchain.

Explorando métodos para crear controladores confiables en diferentes entornos.