Department: Informática

Area: Computer Languages and Systems

Research group: REFLECTION Computational Reflection Research Group

Email: alb@uniovi.es

Doctor by the Universidad de Oviedo with the thesis Verificación de restricciones de modelo, estáticas y dinámicas, en entornos atómicos para lenguajes orientados a objetos 2015. Supervised by Dr. Daniel Fernández Lanvín, Dr. Raúl Izquierdo Castanedo.