Improving Blockchain Scalability with the Setchain Data-Type

Publication
ACM Transactions on Distributed Ledger Technology: Research and Practice. vol 3, number 1, ACM, 2023
César Sánchez
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.