Saila: Informática

Eremua: Lengoaia eta Sistema Informatikoak

Ikerketa taldea: COMPUTATIONAL REFLECTION RESEARCH GROUP

E-maila: 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. Tesiaren zuzendaria Dr. Daniel Fernández Lanvín, Dr. Raúl Izquierdo Castanedo.