Dr. José Santiago Jorge Castro  

Profesor contratado doctor (PC-DR)

Departamento Computación
Área Ciencia de la computación e inteligencia artificial
Investigación  Grupo de investigación Models and Applications of Distributed Systems
Líneas de investigación No figuran en el gestor curricular de la UDC (SUXI).
Contacto Directorio de la UDC

Docencia

Docencia impartida

En este apartado se muestra la docencia impartida en grados, másteres y resto de estudios oficiales en los últimos 6 años.

Asignatura y estudios en la que se imparte Horas totales
Algoritmos 284
Asignatura y estudios en la que se imparte Horas totales
Algoritmos
Grado en Ingeniería Informática
280
Asignatura y estudios en la que se imparte Horas totales
Algoritmos
Grado en Ingeniería Informática
284
Asignatura y estudios en la que se imparte Horas totales
Algoritmos
Grado en Ingeniería Informática
240
Asignatura y estudios en la que se imparte Horas totales
Algoritmos
Grado en Ingeniería Informática
240
Asignatura y estudios en la que se imparte Horas totales
Algoritmos
Grado en Ingeniería Informática
240

Tutorías definidas por el/la docente para el curso académico 2017/2018.

Facultad de Informática

Cuatrimestre Día Lugar
Primer cuatrimestre martes
09:30 a 10:30
Despacho 4.18
Primer cuatrimestre martes
11:30 a 12:30
Despacho 4.18
Primer cuatrimestre martes
16:30 a 18:30
Despacho 4.18
Segundo cuatrimestre lunes
11:00 a 13:00
Despacho 418
Segundo cuatrimestre miércoles
11:00 a 13:00
Despacho 418
Segunda oportunidad lunes
10:30 a 12:30
Despacho 418

Trabajos de fin de grado y máster

No figuran proyectos fin de grado o máster dirigidos por el/la docente desde el año 2013

Resultados de investigación

Puede consultar los méritos de investigación seleccionando un tipo de mérito y el año.

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

Entidad financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Tipo Contrato
Fechas Desde 01/01/2014 a 15/06/2014

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

Entidad financiadora Consellería de Educación e Ordenación Universitaria
Tipo Proyecto Programas Autonomicos
Fechas Desde 22/10/2014 a 30/10/2017

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

Entidad financiadora INDRA SOFTWARE LABS S.L.U.
Investigadores principales Nieves Rodríguez Brisaboa e Laura M. Castro Souto
Tipo Contrato
Fechas Desde 05/04/2013 a 31/12/2014

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

Entidad financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Tipo Contrato
Fechas Desde 31/10/2013 a 31/10/2014

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

Entidad financiadora Consellería de Cultura, Educación e Ordenación Universitaria
Investigadores principales Bertha Guijarro Berdiñas
Tipo Proyecto Otros Programas
Fechas Desde 01/01/2012 a 31/12/2013

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

Entidad financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Tipo Contrato
Fechas Desde 14/12/2011 a 14/12/2013

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

Entidad financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Tipo Contrato
Fechas Desde 30/11/2011 a 30/11/2012

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

Entidad financiadora Ministerio de Economía y Competitividad (MINECO)
Tipo Proyecto Programas Nacionales
Fechas Desde 01/01/2011 a 31/12/2013

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

Entidad financiadora Union Europea
Investigadores principales Laura M. Castro Souto
Tipo Proyecto Internacional
Fechas Desde 01/01/2010 a 30/12/2012

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

Entidad financiadora MINISTERIO DE EDUCACIÓN Y CIENCIA
Investigadores principales Víctor M. Gulías Fernández
Tipo Proyecto Programas Nacionales
Fechas Desde 31/12/2005 a 30/12/2008

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

Entidad financiadora Ministerio de Ciencia y Tecnología
Investigadores principales Víctor M. Gulías Fernández
Tipo Proyecto Programas Nacionales
Fechas Desde 05/11/2002 a 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

Entidad financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Tipo Proyecto Otros Programas
Fechas Desde 28/09/2002 a 27/09/2004

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

Entidad financiadora Union Europea
Tipo Proyecto Otros Programas
Fechas Desde 29/08/2001 a 29/08/2003

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

Entidad financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Tipo Proyecto Otros Programas
Fechas Desde 01/12/1999 a 01/12/2001

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

Entidad financiadora Comisión Interministerial de Ciencia y Tecnología (CICYT)
Tipo Proyecto Otros Programas
Fechas Desde 30/12/1999 a 31/12/2001

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

Entidad financiadora Dirección Xeral de Universidades
Tipo Proyecto Otros Programas
Fechas Desde 24/10/1996 a 24/10/1998

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

Autores José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal
Revista JOURNAL OF SYMBOLIC COMPUTATION Vol. 44 Núm. 5 (págs. 571 a 582)

Managing the Risks of Risk Management

Autores Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, José Santiago Jorge Castro
Revista JOURNAL OF DECISION SYSTEMS Vol. 17 Núm. 4 (págs. 501 a 521)

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

Autores José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
Revista Lecture Notes in Computer Science Vol. 5144 (págs. 296 a 299)

A Distributed Filesystem for Spare Storage

Autores Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, José Santiago Jorge Castro
Revista Lecture Notes in Computer Science Vol. 4739 Núm. 1 (págs. 249 a 256)

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

Autores José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
Revista Lecture Notes in Computer Science Vol. 4739 (págs. 233 a 240)

Towards a Certified and Efficient Computing of Gröbner Bases

Autores José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas
Revista Lecture Notes in Computer Science Vol. 3643 (págs. 111 a 120)

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

Autores Miguel Barreiro Paz, Víctor Manuel Gulias Fernández, Juan José Sánchez Penas, José Santiago Jorge Castro
Revista COMPUTER AIDED SYSTEMS THEORY, LECTURE IN COMPUTER SCIENCE Vol. 2178 Núm. - (págs. 540 a 554)

Performance evaluation of a multithreaded RTS using a synchronous reactive model

Autores Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, Javier Mosquera, José Santiago Jorge Castro
Revista CONTROL ENGINEERING PRACTICE Vol. 12 Núm. 7 (págs. 1533 a 1539)

From sequential to distributed formal proofs.

Autores Víctor Manuel Gulias Fernández, José Santiago Jorge Castro, Juan José Quintela Carreira, José Luis Freire Nistal
Revista Lecture Notes in Computer Science Vol. 1333 Núm. - (págs. 501 a 513)

Certifying properties of program using theorem provers

Autores José Santiago Jorge Castro. Víctor Manuel Gulias Fernández. David Cabrero Souto
Libro Verification, Validation and Testing in Software Engineering
Edita Idea Group Publishing.
ISBN: 1-59140-852-0
Páginas De la 220 a la 267

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

Autor Emilio Casariego Vales
Director/es José Santiago Jorge Castro;Salvador Pita Fernández
Ámbito Medicina
Calificación 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
Internacional

Autores José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
Lugar 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
Internacional

Autores José Santiago Jorge Castro, Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
Lugar 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
Internacional

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

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

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

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

Autores Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, José Santiago Jorge Castro
Lugar 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
Internacional

Autores José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal
Lugar 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
Internacional

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

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

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

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

Autores José Santiago Jorge Castro, José Luis Freire Nistal
Lugar España

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

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

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

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