[2024-08-30 Fri]: Our paper "Realizability modulo theories" appears in JLAMP
Andoni Rodríguez and César Sánchez: ``Realizability modulo theories’’ published in the Journal of Logic and Algebraic Methods in Programming (JLAMP), vol 140, 2024
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.