ANA
GIL LUEZAS
Investigadora hasta 2021
Departamento: Sistemas Informáticos y Computación
Facultad: Informática
Área: Lenguajes y Sistemas Informáticos
Doctora por la Universidad Complutense de Madrid con la tesis Una lógica no estándar admisible para programas funcionales 1990. Dirigida por Dra. María Teresa Hortala González.