César Sánchez

Exploring the role of hyperproperties in verifying complex software systems.

Learn how optimistic rollups improve blockchain speed and efficiency.

Exploring methods for creating reliable controllers in various environments.