[2024-12-20 Fri]: Our paper "Temporal Hyperproperties for Population Protocols" accepted at FOSSACS 24
Nicolas Waldburger, Chana Weil-Kennedy, Pierre Ganty and César Sánchez: ``Temporal Hyperproperties for Population Protocols’’ will appear in FOSSACS 25, vol 15691 of LNCS, Sprigner, 2025
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.