Departamento: Informática y Sistemas

Centro académico: Facultad de Informática

Área: Lenguajes y Sistemas Informáticos

Grupo de investigación: Ingeniería del Software

Email: atoval@um.es

Doctor por la Universitat Politècnica de València con la tesis Formalización algebraica de un entorno de producción automática de prototipos orientados a objetos 1994. Dirigida por Dr/a. Isidro Ramos Salavert.