Departament: Informática y Sistemas

Centre acadèmic: Facultad de Informática

Àrea: Llenguatges i Sistemes Informàtics

Grup d'investigació: Ingeniería del Software

Correu: atoval@um.es

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