ALBERTO MANUEL
FERNANDEZ ALVAREZ
Profesor Colaborador
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.