I work in the design and implementation of programming languages equating isomorphic types, in the LoReL group.
Director: Alejandro Díaz-Caro. Co-director: Pablo E. "Fidel" Martínez López.
Taught courses: Functional Programming, Foundations of Programming Languages, Data Structures, Logic and Programming, Introduction to Programming.