Teaching
Undergraduate courses
Former courses
-
Informática Gráfica (Facultad de Informática),
Universidad Complutense de
Madrid, 2020-2021
-
Fundamentos de Algoritmos (Facultad de Informática),
Universidad Complutense de
Madrid, 2020-2021
-
Estructura de Datos (Facultad de Informática),
Universidad Complutense de
Madrid, 2019-2020
-
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, 2020-2021, 2021-2022, 2022-2023
-
Estructura de Datos y Algoritmos (Facultad de Informática),
Universidad Complutense de
Madrid, 2017-2018
Recent News
-
Paper on
"Inferring Needless Write Memory Accesses on Ethereum Bytecode"
TACAS'23, Paris, France, April, 2023
-
Paper on "A Max-SMT Superoptimizer for EVM handling Memory and Storage" accepted at
TACAS'22, Munich, Germany, April 2022
-
The Ethereum Foundation has funded the GASOL project
(GASOL), April 2021 - April 2022
- New Publication "Synthesis of Super-Optimized Smart Contracts using Max-SMT" at
CAV'20, Los Angeles, EEUU, July, 2020