PhD Antonio Ángel Blanco Ferro  

(CAT-UN)

Department Computer Science
Knowledgment area Computational Science and Artificial Intelligence
Research  Research group Models and Applications of Distributed Systems
Research lines No data available from Curriculum Management System at UDC. (SUXI).
Contacto UDC directory

Teaching

Subjects taught

This section shows the teaching given in degrees, masters and other officers studies in last 6 years.

Subject and involved studies Total hours
Algorithms
Degree in Computer Engineering
40
Degree Thesis Project
Computer Engineering
7
Operating Systems
Degree in Computer Engineering
10
Software Design
Degree in Computer Engineering
15
Theoretical Computer Science
Degree in Computer Engineering
63
Work Placement
Degree in Computer Engineering
Degree in Computer Engineering
17
Subject and involved studies Total hours
Algebra
Degree in Computer Engineering
72
Algorithms
Degree in Computer Engineering
20
Theoretical Computer Science
Degree in Computer Engineering
28
Work Placement
Degree in Computer Engineering
Degree in Computer Engineering
8
Subject and involved studies Total hours
Algorithms
Degree in Computer Engineering
32
Final Project. Mention in Information Systems
Degree in Computer Engineering
6
Final Project. Mention in Software Engineering
Degree in Computer Engineering
6
Theoretical Computer Science
Degree in Computer Engineering
63
Work Placement
Degree in Computer Engineering
Degree in Computer Engineering
20
Subject and involved studies Total hours
Algorithms
Degree in Computer Engineering
25
Certifying Distributed System Properties
Master's in Computer Systems Engineering
0
Final Project. Mention in Computer Science
Degree in Computer Engineering
5
Final Project. Mention in Information Systems
Degree in Computer Engineering
5
Natural Language Processing
Computer Engineering
36
Theoretical Computer Science
Degree in Computer Engineering
42
Work Placement
Degree in Computer Engineering
10
Subject and involved studies Total hours
Algorithms
Degree in Computer Engineering
30
Certifying Distributed System Properties
Master's in Computer Systems Engineering
45
Computer Graphics
Computer Engineering
Information Systems Technician
Management Software Technician
20
Natural Language Processing
Computer Engineering
10
Software Design
Degree in Computer Engineering
2
Theoretical Computer Science
Degree in Computer Engineering
49
Subject and involved studies Total hours
Automata Theory and Formal Languages
Computer Engineering
60
Certifying Distributed System Properties
Master's in Computer Systems Engineering
45
Discrete Mathematics II
Computer Engineering
30
Introduction to Computational Models
Master's in Computational Science
5
Physical Models in Advanced Computing
Master's in Computational Science
15

EOG works and final master thesis directed

No available EOG works or final master thesis directed by current teacher since 2013 year.

Research results

Select merit type and year to query research merits.

ETHiC. Efficient Thermas Comfort

Funding entity Arce Clima Sistemas y Aplicaciones S.L.
Main researches Laura Milagros Castro Souto y Jorge Novo Buján
Type Contrato
Dates From 01/03/2016 to 01/07/2016

IDENTIFICACION Y CARACTERIZACION DEL EDEMA MACULAR DIABETICO MEDIANTE ANALISIS AUTOMATICO DE TOMOGRAFIAS DE COHERENCIA OPTICA Y TECNICAS DE APRENDIZAJE MAQUINA

Funding entity Ministerio de Economía y Competitividad
Main researches Manuel González Penedo; Noelia Barreira
Type Proyecto Programas Nacionales
Dates From 01/01/2016 to 31/12/2019

Contrato Art. 83 para el desarrollo de aplicaciones y servicios para la Televisión Digital Interactiva v5.0

Funding entity CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Type Contrato
Dates From 01/01/2014 to 15/06/2014

Axuda de consolidación e estruturación de unidades de investigación competitivas. Modalidade :Grupos de Referencia Competitiva.

Funding entity Consellería de Educación e Ordenación Universitaria
Type Proyecto Programas Autonomicos
Dates From 22/10/2014 to 30/10/2017

Contrato entre Indra Software Labs y CITIC en el marco del proyecto Feder Innterconecta, convocatoria 2013 Galicia, "GOAL"

Funding entity INDRA SOFTWARE LABS S.L.U.
Main researches Nieves Rodríguez Brisaboa e Laura M. Castro Souto
Type Contrato
Dates From 05/04/2013 to 31/12/2014

Desarrollo de aplicaciones y servicios para la TV Digital Interactiva v4.0 (Contrato Art.83)

Funding entity CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Type Contrato
Dates From 31/10/2013 to 31/10/2014

Axuda para a consolidación e estructuración de unidades de investigación competitivas do SUG. Agrupación estratéxica CITIC

Funding entity Consellería de Cultura, Educación e Ordenación Universitaria
Main researches Bertha Guijarro Berdiñas
Type Proyecto Otros Programas
Dates From 01/01/2012 to 31/12/2013

Property- Based Testing of Web Services (PROWESS)

Funding entity Union Europea
Type Proyecto UE
Dates From 01/10/2012 to 31/10/2015

Iniciativa para la implementación e integración de sistemas correctos y eficientes no triviales basado en modelos (AMBITIIONS)

Funding entity Ministerio de Economía y Competitividad (MINECO)
Type Proyecto Programas Nacionales
Dates From 01/01/2011 to 31/12/2013

Optiband- Optimization of Bandwidth for IPTV video streaming (FP7-ICT-2009-4)

Funding entity Union Europea
Main researches Laura M. Castro Souto
Type Proyecto Internacional
Dates From 01/01/2010 to 30/12/2012

Sistema médico distribuído basado en XML

Funding entity Ministerio de Ciencia y Tecnología
Main researches Manuel Francisco González Penedo
Type Proyecto Programas Nacionales
Dates From 03/12/2003 to 02/12/2006

Sistema Distribuído para Medida del Calibre Retiniano (SIDMECAR)

Funding entity Comisión Interministerial de Ciencia y Tecnología (CICYT)
Main researches Manuel Francisco González Penedo
Type Proyecto Programas Nacionales
Dates From 01/12/2003 to 30/11/2006

Sistema distribuído de Identificación Personas mediante Huellas de Retina

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Main researches Manuel Francisco González Penedo
Type Proyecto Programas Autonomicos
Dates From 24/10/2003 to 23/10/2006

CONTRATO ART. 11 L.R.U. PARA LA REALIZACIÓN DEL PROYECTO DENOMINADO "PILOTO DE SERVIDOR DE STREAMING ON DEMAND JERÁRQUICO UTILIZANDO TECNOLOGÍA FUNCIONAL DISTRIBUIDA"

Funding entity R, CABLE Y TELECOMUNICACIONES
Type Contrato
Dates From 01/01/2002 to 01/01/2003

CONTRATO DE COLABORACIÓN ENTRE LA UDC Y LA FUNDACIÓN CENTRO ONCOLÓGICO REGIONAL DE GALICIA

Funding entity FUNDACIÓN CENTRO ONCOLÓGICO REGIONAL DE GALICIA ""JOSÉ ANTONIO QUIROGA Y PIÑEIRO""
Type Contrato
Dates From 01/01/2002 to 01/01/2003

CONTRATO ART. 83 ENTRE R CABLE Y FUDC PARA PROYECTO DENOMINADO "PILOTO DE SERVIDOR DE STREAMING ON DEMAND JERÁRQUICO UTILIZANDO TECNOLOGÍA FUNCIONAL DISTRIBUIDA"

Funding entity R, CABLE Y TELECOMUNICACIONES
Type Contrato
Dates From 01/02/2002 to 01/06/2002

CONTRATO ART. 83 LOU ENTRE LA FUDC Y FADESA INMOBILIARIA PARA REALIZACIÓN PROYECTO "DISEÑO Y DESARROLLO DE SISTEMAS DE INFORMACIÓN A LA DIRECCIÓN"

Funding entity FADESA INMOBILIARIA, S.A.
Type Contrato
Dates From 04/10/2002 to 01/06/2003

Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER)

Funding entity Ministerio de Ciencia y Tecnología
Main researches Víctor M. Gulías Fernández
Type Proyecto Programas Nacionales
Dates From 05/11/2002 to 05/11/2005

Construyendo ciudad, habitando entre redes, formulando proyectos de vida: un modelo de simulación basado en una aplicación informática vía web

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Main researches José María Cardesín Díaz
Type Proyecto Programas Autonomicos
Dates From 08/10/2002 to 08/10/2005

e-MINDER. Electronic commerce leveraging network for developing European regions

Funding entity Union Europea
Type Proyecto Otros Programas
Dates From 29/08/2001 to 29/08/2003

ACUERDO MARCO ENTRE EL GRUPO GALLEGO DE CABLE Y LA UDC

Funding entity GRUPO GALLEGO DE CABLE
Type Contrato
Dates From 24/03/1999 to 24/03/2000

Modelización y evaluación de un sistema de almacenamiento distribuido a bajo coste para aplicaciones multimedia

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Type Proyecto Otros Programas
Dates From 01/12/1999 to 01/12/2001

Arquitectura de nodos de proceso paralelo para servicio de vídeo bajo demanda

Funding entity Comisión Interministerial de Ciencia y Tecnología (CICYT)
Type Proyecto Otros Programas
Dates From 30/12/1999 to 31/12/2001

CONVENIO DE LA UDC Y AFIANZAMIENTOS DE GALICIA SOCIEDAD DE GARANTÍA RECÍPROCA (AFIGAL) PARA DISEÑO, ORGANIZACIÓN Y DESARROLLO DE UN PLAN DE SISTEMAS

Funding entity AFIANZAMIENTOS DE GALICIA SOCIEDAD DE GARANTÍA RECÍPROCA (AFIGAL)
Type Contrato
Dates From 26/05/1998 to 26/03/1999

CONVENIO DE COLABORACIÓN ENTRE LA EMPRESA LACTEOS DE GALICIA (LAGASA, S.A.) Y LA UDC PARA DISEÑO, ORGANIZACIÓN Y DESARROLLO DE UN PLAN DE SISTEMAS

Funding entity LAGASA
Type Contrato
Dates From 01/02/1997 to 01/01/1998

Sócrates (Sistema objetual y cooperativo para la racionalización de la actividad y la tecnología de la empresa )

Funding entity Dirección Xeral de Universidades
Type Proyecto Otros Programas
Dates From 24/10/1996 to 24/10/1998

CONVENIO DE COLABORACION ENTRE LA DIPUTACION DE LA CORUÑA Y LA UNIVERSIDAD PARA EL APOYO AL DISEÑO Y DESARROLLO DE AMPLIACIONES DE GESTION INTEGRAL PARA LA ADMINISTRACION LOCAL (GIALIX).

Funding entity DIPUTACIÓN PROVINCIAL DE A CORUÑA
Type Contrato
Dates From 21/11/1994 to 21/02/1995

Generación óptima de conexiones en mapas: aplicación en redes de distribución.

Funding entity Consellería de Educación e Ordenación Universitaria
Main researches Antonio Ángel Blanco Ferro
Type Proyecto Programas Autonomicos
Dates From 07/04/1994 to 07/04/1997

CONVENIO ESPECÍFICO ENTRE LA DIPUTACIÓN DE A CORUÑA, FEUGA Y UDC PARA LA DIAGNOSIS DE LOS SERVICIOS INFORMÁTICOS DE LA DIPUTACIÓN PROVINCIAL DE A CORUÑA

Funding entity Fundación Empresa-Universidad Gallega (FEUGA)
Type Contrato
Dates From 08/03/1993 to 08/06/1993

GIR-WEB: sistema central de gestión de inmovilizado

Type Software Registrado
Entity Universidade da Coruña (UDC)
Authors Antonio Ángel Blanco Ferro, Víctor Manuel Gulias Fernández, Juan Martínez Vázquez, Iago Fernández Meilán
Application date 27/10/2009

GIR-PDA: sistema de control de inventario para dispositivos móviles basado en RFID

Type Software Registrado
Entity Universidade da Coruña (UDC)
Authors Antonio Ángel Blanco Ferro, Víctor Manuel Gulias Fernández, Juan Martínez Vázquez, Iago Fernández Meilán
Application date 27/10/2009

Business Operation improvement through integrated infrastructure management

Authors Alberto Casanova, Laura M. Castro, Antonio Blanco-Ferro
Journal Lecture Notes in Computer Science Vol. 8111 (pages 158 to 165)
DOI https://doi.org/10.1007/978-3-642-53856-8_20

On the Confluence of the Graphic Calculus with Penrose Diagrams

Authors José Luis Freire Nistal, Antonio Ángel Blanco Ferro, José María Molinelli Barba, José Enrique Freire Brañas
Journal Lecture Notes in Computer Science Vol. 6927 (pages 169 to 176)
DOI https://doi.org/10.1007/978-3-642-27549-4

The fold Operator as a Coequalizer Using Coq

Authors Antonio Ángel Blanco Ferro, José Enrique Freire Brañas, José Luis Freire Nistal, Javier Paris Fernandez
Journal Lecture Notes in Computer Science Vol. 5717 (pages 167 to 176)

Integration of legacy aplications in advanced services

Authors José Antonio García Varela, Antonio Ángel Blanco Ferro, Roi Blanco González
Journal WSEAS Transactions on Information Science & Applications Vol. 4 (pages 787 to 793)

On the representation of imperative programs in a logical framework

Authors José Luis Freire Nistal, José Enrique Freire Brañas, Antonio Ángel Blanco Ferro, David Cabrero Souto
Journal Lecture Notes in Computer Science Vol. 4739 (pages 202 to 209)

Using Coq to understand nested datatypes

Authors Antonio Ángel Blanco Ferro, José Enrique Freire Brañas, José Luis Freire Nistal
Journal Lecture Notes in Computer Science Vol. 4739 (pages 210 to 216)

On Recursive Functions and Well-Founded Relations in the Calculus of Constructions

Authors José Luis Freire Nistal, José Enrique Freire Brañas, Antonio Ángel Blanco Ferro
Journal Lecture Notes in Computer Science Vol. 3643 (pages 69 to 80)

On the Strong Co-induction in Coq

Authors José Luis Freire Nistal, Antonio Ángel Blanco Ferro, Víctor Manuel Gulias Fernández, Enrique Freire Brañas
Journal Lecture Notes in Computer Science Vol. 2809 (pages 279 to 290)

Fusion and Deforestation in COQ

Authors José Luis Freire Nistal, Enrique Freire Brañas, Antonio Ángel Blanco Ferro, J. José Sánchez Penas
Journal Lecture Notes in Computer Science Vol. 2178 Num. - (pages 583 to 596)

An automatic calculator with penrose diagrams

Authors José María Barja Pérez, Antonio Ángel Blanco Ferro, José Luis Freire Nistal, José Mª Molinelli Barba
Journal Lecture Notes in Computer Science Vol. 1333 Num. - (pages 77 to 94)

Comercio electrónico : la tecnología al servicio de la PYME

Authors Antonio Ángel Blanco Ferro, Víctor Manuel Gulias Fernández, Javier Mosquera Blanco, Carlos Abalde Ramiro, José Luis Freire Nistal
Publishing Vía Láctea Editorial, Coruña, A (España)
ISBN 84-89444-91-9

Infraestructura para nuevos servicios telemáticos: Vídeo bajo demanda

Authors Víctor Manuel Gulias Fernández. Antonio Ángel Blanco Ferro. Roi Blanco González. Miguel Barreiro Paz
Book Manual de cine científico y de la salud
Publishing: Asociación Audiovisual para la Promoción de la Salud.
ISBN: 84-688-4887-5
Pages From 68 to 72

On the abstraction process

Authors Juan Manuel Freire Botana. Antonio Ángel Blanco Ferro
Book Brain processes, Theories and Models
Publishing: MIT Press.
ISBN: MIT96-1
Pages From 0 to 0

Magma, metodología de la auditoría general del mantenimiento de aplicaciones

Autor Serafín Caridad Simón
Director/s Nieves Rodríguez Brisaboa;Antonio Ángel Blanco Ferro
Scope Computación
Qualification Sobresaliente Cum Laude

Una metodología para la ingeniería y reingeniería de sistemas de información basada en patrones, antipatrones y marcos

Autor José Mª García-Tizón Iglesias
Director/s José María Barja Pérez;Antonio Ángel Blanco Ferro
Scope Computación
Qualification Sobresaliente Cum Laude

Inclusión de consultas conjuntivas bajo la semántica de bolsas

Autor Nieves Rodríguez Brisaboa
Director/s Hector Hernández ;Antonio Ángel Blanco Ferro
Scope Computación
Qualification Apto

On the combination of Monads
Computer Aided Systems Theory - EUROCAST 2015
International

Authors Antonio Ángel Blanco Ferro, J.L. Freire Nistal, José María Molinelli Barba
Place Palmas de Gran Canaria, Las (España)

Integrated Infrastructure Management System
International Conference On Computer Aided Systems Theory. Eurocast 2013
International

Authors Laura M. Castro Souto, Antonio Ángel Blanco Ferro, Alberto Casanova
Organization Universidad de Las Palmas de Gran Canaria (ULPGC)
Place Palmas de Gran Canaria, Las (España)

Teoría de Autómatas y Lenguajes Formales: Una aproximación práctica desde dos paradigmas de programación
CUIEET 2010. XVIII Congreso Universitario de Innovación Educativa en las Enseñanzas Técnicas
International

Authors Milagros Fernández Gavilanes, Carlos Gómez Rodríguez, Jesús Vilares Ferro, Jorge Graña Gil, Antonio Ángel Blanco Ferro
Organization Universidad de Cantabria
Place Santander (España)

Desarrollo de un Sistema para la Definición, Generación Automática y Gestión de Protocolos para Vías Clínicas
INFORSALUD 2010. XIII Congreso Nacional de Informática de la Salud
International

Authors Yago Méndez Vidal, Lino Carrajo García, Antonio Ángel Blanco Ferro, Laura Milagros Castro Souto, Fátima Rodríguez Calvo, Daniel Llamas Gómez, Guillermo Vázquez González
Organization Sociedad Española de Informática de la Salud (SEIS)
Place Madrid (España)

A comparative performance evaluation of different implementations of the SOAP protocol
5th IEEE European Conference on Web Services (ECOWS 2007)
International

Authors José Antonio García Varela, Antonio Ángel Blanco Ferro, Roi Blanco González, Javier Paris Fernandez
Place Halle (Saale) (Alemania)

A comparative performance evaluation of different implementation of the SOAP protocol
5th IEEE European Conference on Web Services (ECOWS 2007)
International

Authors José Antonio García Varela, Roi Blanco González, Antonio Ángel Blanco Ferro
Place Halle (Saale) (Alemania)

Using Coq to Understand Nested Datatypes
EUROCAST 2007, 11th Internacional Conference on Computer Aided Systems Theory
International

Authors Antonio Ángel Blanco Ferro, José Enrique Freire Brañas, José Luis Freire Nistal
Place España

On the representation of imperative program in a logical framework
EUROCAST 2007, 11th Internacional Conference on Computer Aided Systems Theory
International

Authors José Luis Freire Nistal, José Enrique Freire Brañas, Antonio Ángel Blanco Ferro, David Cabrero Souto
Place España

Incorporating applications to a Service Oriented Architecture
The 5th WSEAS International Conference on System Science and Simulation in Engineering (ICOSSE¿06)
International

Authors José Antonio García Varela, Antonio Ángel Blanco Ferro, Roi Blanco González
Place Santa Cruz de Tenerife (España)

On Recursive Functions and Well-founded Relations in the Calculus of Constructions
EUROCAST 2005. Tenth International Conference on Computer Aided Systems Theory
International

Authors José Luis Freire Nistal, José Enrique Freire Brañas, Antonio Ángel Blanco Ferro
Place España

Cálculo del calibre vascular como indicador de la sintomatología inherente a imágenes de retina
XXII Congreso Anual de la Sociedad Española de Ingeniería Biomédica
International

Authors Iván Gómez Caderno, M G Penedo, Antonio Ángel Blanco Ferro, María José Carreira Nouche
Place Santiago de Compostela (España)

The Reduction Lemma in Coq
9th International Workshop on Computer Aided Systems Theory. EUROCAST2003
International

Authors José Luis Freire Nistal, Antonio Ángel Blanco Ferro, Víctor Manuel Gulias Fernández, José Enrique Freire Brañas
Place España

Cronobiología y cáncer de mama
IX Conferencia Española de Biometría
International

Authors Antonio Ángel Blanco Ferro, Jorge Cameselle Teijeiro, M.E. Cortizo Torres, Roi Blanco González, F.C. Schmitt
Place Coruña, A (España)

Predicción del cáncer de mama con una "mayor carga hereditaria" en el momento del diagnóstico
IX Conferencia Española de Biometría
International

Authors Jorge Cameselle Teijeiro, M.E. Cortizo Torres, E. Fluiters Casado, Antonio Ángel Blanco Ferro, Roi Blanco González, F.C. Schmitt
Place Coruña, A (España)

Integración y Coexistencia de Aplicaciones Legacy y Aplicaciones Web Usando Patrones
Simposio en Informática y Telecomunicación
International

Authors Antonio Ángel Blanco Ferro, José Mª García-Tizón Iglesias, Miguel José Rodríguez Rubio, Juan José Sánchez Penas
Place Coruña, A (España)

Fusion and Deforestation in COQ
Eurocast 2001
International

Authors José Luis Freire Nistal, Antonio Ángel Blanco Ferro, Enrique Freire Brañas, Juan José Sánchez Penas
Organization Universidad de Las Palmas de Gran Canaria
Place España

Auditing Software Maintenance:. Studying the Effort of Euro Integration in a Banking Environment
7 Workshop on Empirical Studies of Software Maintenance
International

Authors Serafín Caridad Simón, Antonio Ángel Blanco Ferro
Place Florencia (Italia)

Evolución del rendimiento de un Sistema de Tiempo Real multihilo usando un modelo reactivo síncrono
Simposio Español de Informática Distribuída (SEID'2000)
International

Authors Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, Antonio Ángel Blanco Ferro, Juan José Sánchez Penas, Javier Mosquera Blanco
Place Ourense (España)

Effort of Euro Integration in software applications
4th and 5th World Conference on Integrated Design & Process Technology( IDPT 2000)
International

Authors Serafín Caridad Simón, Antonio Ángel Blanco Ferro
Place Dallas (Estados Unidos)

A Methodology for Measuring Software Maintenance
Industry Day International Conference on Software Maintenance
International

Authors Serafín Caridad Simón, Antonio Ángel Blanco Ferro
Place San José (Estados Unidos)

Experiencias con un Cluster Beowulf
Simposio Español de Informática Distribuída (SEID'99)
International

Authors Miguel Barreiro Paz, Víctor Manuel Gulias Fernández, Antonio Ángel Blanco Ferro, Juan José Quintela Carreira, José Luis Freire Nistal
Place Santiago de Compostela (España)

Diálgebras in high order programming
Wiener's Cybernetics: 50 Years of Evolution
International

Authors Enrique Freire Brañas, José Luis Freire Nistal, Antonio Ángel Blanco Ferro
Place España

Multidimensional Scaling as an alternative to the triads metod in the repertory grid
3 Congreso Internacional en Ciencias Computacionales
International

Authors Nieves Rodríguez Brisaboa, Antonio Ángel Blanco Ferro
Place Tijuana (México)

On the abstraction process. Brain processes, theories and models
International Conference in honor fo W.S. McCulloch. 25 years after this death
International

Authors José Luis Freire Nistal, Antonio Ángel Blanco Ferro

Positions

Academic or management positions held by teacher.

Computación

Director/a

From 17/03/2014 to 05/04/2017.

Computación

Director/a

From 20/11/2009 to 16/03/2014.

Vicerrectorado de Títulos, Calidad y Nuevas Tecnologías

Aula de Formación Informática
Dirctor/a

From 19/02/2004 to 31/01/2010.

Aula de Formación Informática - AFI

Director/a de Organismo

From 19/02/2004 to 31/01/2010.

Computación

Director/a

From 12/06/1999 to 19/07/1999.

Facultad de Informática

Vicedecano/a

From 25/06/1996 to 14/06/1999.

Computación

Director/a