Departament: Informática

Àrea: Llenguatges i Sistemes Informàtics

Grup d'investigació: COMPUTATIONAL REFLECTION RESEARCH GROUP

Correu: alb@uniovi.es

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