[2024-09-26 Thu]: Our paper "Unifying Asynchronous Logics for Hyperproperties" accepted at FSTTCS 24

Alberto Bombardelli, Laura Bozzelli César Sánchez and Stefano Tonetta: ``Unifying Asynchronous Logics for Hyperproperties’’ will appear in the 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'24)*, pp. 14:1-14:18, LIPIcs vol 323, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, 2024.

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.