[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

Apr 22, 2023

My research focuses on formal methods, in paricular logic, automata and game theory. Temporal logics for Hyperproperties. Applications to Blockchain.