Teaching
Undergraduate courses
-
Fundamentos de la Programación II (Clases de Laboratorio),
Grado en Desarrollo de Videojuegos, Facultad de Informatica, Universidad Complutense de Madrid, Curso 2022-2023
Former courses
-
Bases de Datos (Clases de Laboratorio),
Grado en Matemáticas, Facultad de Matemáticas, Universidad Complutense de Madrid, Curso 2022-2023
-
Bases de Datos (Clases de Laboratorio),
Grado en Ingeniería Informática, Facultad de Informatica, Universidad Complutense de Madrid, Cursos 2022-2023, 2021-2022
-
Fundamentos de Algoritmia (Clases de Laboratorio),
Grado en Ingeniería Informática, Facultad de Informatica, Universidad Complutense de Madrid, Curso 2021-2022
Recent News
- Research stay at the Formal Verification Team in the Etherum Foundation, Berlin, Germany, May 2022-July 2022
- New Publication "A Max-SMT Superoptimizer for EVM handling Memory and Storage" at
TACAS'22, Munich, Germany, April, 2022