PhD José Santiago Jorge Castro  

(PC-DR)

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 284
Subject and involved studies Total hours
Algorithms
Degree in Computer Engineering
280
Subject and involved studies Total hours
Algorithms
Degree in Computer Engineering
284
Subject and involved studies Total hours
Algorithms
Degree in Computer Engineering
240
Subject and involved studies Total hours
Algorithms
Degree in Computer Engineering
240
Subject and involved studies Total hours
Algorithms
Degree in Computer Engineering
240

Defined tutoring by teacher for 2017/2018 academic course.

Faculty of Computer Science

Quarter Day Site
1st quarter Tuesday
09:30 a 10:30
Despacho 4.18
1st quarter Tuesday
11:30 a 12:30
Despacho 4.18
1st quarter Tuesday
16:30 a 18:30
Despacho 4.18
2nd quarter Monday
11:00 a 13:00
Despacho 418
2nd quarter Wednesday
11:00 a 13:00
Despacho 418
2nd chance Monday
10:30 a 12:30
Despacho 418

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.

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

Arquitectura Distribuida altamente escalable en el marco del proyecto Platino (Contrato Art. 83)

Funding entity CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Type Contrato
Dates From 14/12/2011 to 14/12/2013

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

Funding entity CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Type Contrato
Dates From 30/11/2011 to 30/11/2012

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

Recursos funcionales para la construcción de sistemas distribuidos complejos de alta disponibilidad

Funding entity MINISTERIO DE EDUCACIÓN Y CIENCIA
Main researches Víctor M. Gulías Fernández
Type Proyecto Programas Nacionales
Dates From 31/12/2005 to 30/12/2008

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

Diseño, construcción y validación de un sistema jerárquico de almacenamiento de alta capacidad de bajo coste de adquisición y funcionamiento : Cheap TB

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Type Proyecto Otros Programas
Dates From 28/09/2002 to 27/09/2004

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

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

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

Certifying properties of an efficient functional program for computing Gröbner bases

Authors José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal
Journal JOURNAL OF SYMBOLIC COMPUTATION Vol. 44 Num. 5 (pages 571 to 582)

Managing the Risks of Risk Management

Authors Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, José Santiago Jorge Castro
Journal JOURNAL OF DECISION SYSTEMS Vol. 17 Num. 4 (pages 501 to 521)

Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server

Authors José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
Journal Lecture Notes in Computer Science Vol. 5144 (pages 296 to 299)

A Distributed Filesystem for Spare Storage

Authors Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, José Santiago Jorge Castro
Journal Lecture Notes in Computer Science Vol. 4739 Num. 1 (pages 249 to 256)

Verification of program properties using different theorem provers: a case study

Authors José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
Journal Lecture Notes in Computer Science Vol. 4739 (pages 233 to 240)

Towards a Certified and Efficient Computing of Gröbner Bases

Authors José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas
Journal Lecture Notes in Computer Science Vol. 3643 (pages 111 to 120)

The Tertiary Level in a Function al Cluster-Based Hierarchical VoD Server

Authors Miguel Barreiro Paz, Víctor Manuel Gulias Fernández, Juan José Sánchez Penas, José Santiago Jorge Castro
Journal COMPUTER AIDED SYSTEMS THEORY, LECTURE IN COMPUTER SCIENCE Vol. 2178 Num. - (pages 540 to 554)

Performance evaluation of a multithreaded RTS using a synchronous reactive model

Authors Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, Javier Mosquera, José Santiago Jorge Castro
Journal CONTROL ENGINEERING PRACTICE Vol. 12 Num. 7 (pages 1533 to 1539)

From sequential to distributed formal proofs.

Authors Víctor Manuel Gulias Fernández, José Santiago Jorge Castro, Juan José Quintela Carreira, José Luis Freire Nistal
Journal Lecture Notes in Computer Science Vol. 1333 Num. - (pages 501 to 513)

Certifying properties of program using theorem provers

Authors José Santiago Jorge Castro. Víctor Manuel Gulias Fernández. David Cabrero Souto
Book Verification, Validation and Testing in Software Engineering
Publishing: Idea Group Publishing.
ISBN: 1-59140-852-0
Pages From 220 to 267

Supervivencia del cancer gástrico y factores que modifican el pronóstico

Autor Emilio Casariego Vales
Director/s José Santiago Jorge Castro;Salvador Pita Fernández
Scope Medicina
Qualification Sobresaliente Cum Laude

Using Coq and Pvs for Certifying Properties on the Cache Subsystem of a Functional Video-on-Demand Server
EUROCAST 2007, 11th Internacional Conference on Computer Aided Systems Theory
International

Authors José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
Place España

Adaptación al espacio europeo de educación superior de la asignatura de algoritmos en la facultad de informática de la Universidad de A Coruña
II Jornadas de Innovación Educativa (EPS). El espacio europeo de educación superior: una oportunidad para las enseñanzas técnicas
International

Authors José Santiago Jorge Castro, Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
Place Zamora (España)

Certificación de propiedades usando distintos probadores de teoremas: un caso de estudio
JIISIC 2007, VI Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento
International

Authors José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
Place Lima (Perú)

Earlang/OTP framework for complex management applications development
WEBIST 2007, 3rd International Conference on Web Information Systems and Technologies
International

Authors Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto, Carlos Varela Paz, José Santiago Jorge Castro
Place Barcelona (España)

A Distributed Filesystem for Spare Storage
EUROCAST 2007, 11th Internacional Conference on Computer Aided Systems Theory
International

Authors Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, José Santiago Jorge Castro
Place España

Un programa funcional certificado y eficiente para el cálculo de Bases de Gröbner
EACA 2006 - X Encuentro de Álgebra Computacional y Aplicaciones
International

Authors José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal
Place Sevilla (España)

Prueba de propiedades en la caché de un servidor funcional de vídeo bajo demanda
CLEI 2005. XXXI Conferencia Latinoamericana de Informática
International

Authors José Santiago Jorge Castro, Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, David Cabrero Souto
Place Cali (Colombia)

Reasoning about a Functional Program for computing Gröbner Basis
EUROCAST 2005. Tenth International Conference on Computer Aided Systems Theory
International

Authors José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas
Place España

Prove and Then Execute
7 Encuentro de Álgebra Computacional y Aplicaciones (EACA¿2001)
International

Authors José Santiago Jorge Castro, José Luis Freire Nistal
Place España

The Tertiary Level in a Functional Cluster-based Hierarchinal VoD System
Formal Methods and Tools for Computer Science (EUROCAST-2001)
International

Authors Miguel Barreiro Paz, Víctor Manuel Gulias Fernández, Juan José Sánchez Penas, José Santiago Jorge Castro
Place España

Performance Evaluation of a Multithreaded Runtime System using a Synchronous Reactive Model
23rd IFAC/IFIP Workshop on Real Time Programming WRTP'98
International

Authors Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, José Santiago Jorge Castro, Javier Mosquera
Place Shantou (China)