Departamento: Informática

Área: Lenguajes y Sistemas Informáticos

Grupo de investigación: COMPUTATIONAL REFLECTION RESEARCH GROUP

Email: alb@uniovi.es

Doctor por la Universidad de Oviedo con la tesis Verificación de restricciones de modelo, estáticas y dinámicas, en entornos atómicos para lenguajes orientados a objetos 2015. Dirigida por Dr. Daniel Fernández Lanvín, Dr. Raúl Izquierdo Castanedo.