Departamento: Computer Science and Systems Engineering

Centro académico: Faculty of Informatics

Area: Computer Languages and Systems

Research group: Software Engineering

Email: atoval@um.es

Doctor by the Universitat Politècnica de València with the thesis Formalización algebraica de un entorno de producción automática de prototipos orientados a objetos 1994. Supervised by Dr. Isidro Ramos Salavert.