[2023-04-22 Sat]: Our paper "Boolean Abstractions for Realizability Modulo Theories" accepted at CAV 23
Andoni Rodriguez and César Sánchez: ``Boolean Abstractions for Realizability Modulo Theories_s’’ will appear in CAV'23
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.