César Sánchez

Die Erforschung der Rolle von Hypereigenschaften bei der Verifizierung komplexer Softwaresysteme.

2025-08-16T12:43:54+00:00 ― 5 min Lesedauer

Lern, wie optimistische Rollups die Geschwindigkeit und Effizienz von Blockchains verbessern.

2025-08-02T11:16:12+00:00 ― 5 min Lesedauer

Methoden zur Erstellung zuverlässiger Steuerungen in verschiedenen Umgebungen erkunden.

2025-07-14T13:09:06+00:00 ― 7 min Lesedauer