[2024-06-18 Tue]: Our paper "Improving Blockchain Scalability with the Setchain Data-Type" appears in ACM DLT
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo and César Sánchez: ``Improving Blockchain Scalability with the Setchain Data-Type’’ published in ACM Distributed Ledger Technologies: Research and Practice.
César Sánchez
Professor
My research focuses on formal methods, in paricular logic, automata and game theory. Temporal logics for Hyperproperties. Reactive Synthesis Modulo Theories. Applications to Blockchain.