Teaching
Former courses
-
Estructura de Datos (Facultad de Informática),
Universidad Complutense de
Madrid, 2019-2029
-
Fundamentos de la Programación II (Facultad de Informática),
Universidad Complutense de
Madrid, 2019-2020
-
Fundamentos de Programación (Facultad de Informática),
Universidad Complutense de
Madrid, 2018-2019
-
Tecnología de la Programación de Videojuegos (Facultad de Informática),
Universidad Complutense de
Madrid, 2018-2019
-
Ampliación de Bases de Datos (Facultad de Informática),
Universidad Complutense de
Madrid, 2017-2018
-
Informática (Programación en Python) (Facultad de Matemáticas),
Universidad Complutense de
Madrid, 2017-2018
-
Estructura de Datos y Algoritmos (Facultad de Informática),
Universidad Complutense de
Madrid, 2017-2018
Recent News
- New Publication "Synthesis of Super-Optimized Smart Contracts using Max-SMT" at
CAV'20, Los Angeles, EEUU, July, 2020
- New Publication "GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts" at
TACAS'20, Dublin, Ireland, April, 2020
- New Publication "SAFEVM: A Safety Verifier for Ethereum Smart Contracts" at
ISSTA'19, Beijing, China, July, 2019