Dr. José Santiago Jorge Castro  

Profesor contratado doutor (PC-DR)

Departamento Computación
Área Ciencia da computación e intelixencia artificial
Investigación  Grupo de investigación Models and Applications of Distributed Systems
Liñas de investigación Aínda non figuran no xestor curricular da UDC (SUXI).
Contacto Directorio da UDC

Docencia

Docencia impartida

Neste apartado móstrase a docencia impartida en graos, mestrados e resto de titulacións oficiais ata os últimos 6 anos.

Materia e estudos en que se imparte Horas totais
Algoritmos
Grao en Enxeñaría Informática
284
Materia e estudos en que se imparte Horas totais
Algoritmos
Grao en Enxeñaría Informática
280
Materia e estudos en que se imparte Horas totais
Algoritmos 284
Materia e estudos en que se imparte Horas totais
Algoritmos
Grao en Enxeñaría Informática
240
Materia e estudos en que se imparte Horas totais
Algoritmos
Grao en Enxeñaría Informática
240
Materia e estudos en que se imparte Horas totais
Algoritmos
Grao en Enxeñaría Informática
240

Titorías definidas polo/a docente para o curso académico 2015/2016.

Facultade de Informática

Cuadrimestre Día Lugar
Primeiro cuadrimestre martes
09:30 a 10:30
Despacho 4.18
Primeiro cuadrimestre martes
11:30 a 12:30
Despacho 4.18
Primeiro cuadrimestre martes
16:30 a 18:30
Despacho 4.18
Segundo cuadrimestre luns
11:00 a 13:00
Despacho 418
Segundo cuadrimestre mércores
11:00 a 13:00
Despacho 418
Segunda oportunidade luns
10:30 a 12:30
Despacho 418

Traballos fin de grao e mestrado

Non figuran proxectos fin de grao ou mestrado dirixidos polo/a docente desde o ano 2013

Resultados da investigación

Pode consultar os méritos de investigación seleccionando un tipo de mérito e o ano.

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

Entidade financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Tipo Contrato
Datas Desde 01/01/2014 ata 15/06/2014

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

Entidade financiadora Consellería de Educación e Ordenación Universitaria
Tipo Proxecto Programas Autonomicos
Datas Desde 22/10/2014 ata 30/10/2017

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

Entidade financiadora INDRA SOFTWARE LABS S.L.U.
Investigadores principais Nieves Rodríguez Brisaboa e Laura M. Castro Souto
Tipo Contrato
Datas Desde 05/04/2013 ata 31/12/2014

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

Entidade financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Tipo Contrato
Datas Desde 31/10/2013 ata 31/10/2014

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

Entidade financiadora Consellería de Cultura, Educación e Ordenación Universitaria
Investigadores principais Bertha Guijarro Berdiñas
Tipo Proxecto Outros Programas
Datas Desde 01/01/2012 ata 31/12/2013

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

Entidade financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Tipo Contrato
Datas Desde 14/12/2011 ata 14/12/2013

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

Entidade financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Tipo Contrato
Datas Desde 30/11/2011 ata 30/11/2012

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

Entidade financiadora Ministerio de Economía y Competitividad (MINECO)
Tipo Proxecto Programas Nacionales
Datas Desde 01/01/2011 ata 31/12/2013

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

Entidade financiadora Union Europea
Investigadores principais Laura M. Castro Souto
Tipo Proxecto Internacional
Datas Desde 01/01/2010 ata 30/12/2012

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

Entidade financiadora MINISTERIO DE EDUCACIÓN Y CIENCIA
Investigadores principais Víctor M. Gulías Fernández
Tipo Proxecto Programas Nacionales
Datas Desde 31/12/2005 ata 30/12/2008

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

Entidade financiadora Ministerio de Ciencia y Tecnología
Investigadores principais Víctor M. Gulías Fernández
Tipo Proxecto Programas Nacionales
Datas Desde 05/11/2002 ata 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

Entidade financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Tipo Proxecto Outros Programas
Datas Desde 28/09/2002 ata 27/09/2004

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

Entidade financiadora Union Europea
Tipo Proxecto Outros Programas
Datas Desde 29/08/2001 ata 29/08/2003

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

Entidade financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Tipo Proxecto Outros Programas
Datas Desde 01/12/1999 ata 01/12/2001

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

Entidade financiadora Comisión Interministerial de Ciencia y Tecnología (CICYT)
Tipo Proxecto Outros Programas
Datas Desde 30/12/1999 ata 31/12/2001

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

Entidade financiadora Dirección Xeral de Universidades
Tipo Proxecto Outros Programas
Datas Desde 24/10/1996 ata 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áxs. 571 ata 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áxs. 501 ata 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áxs. 296 ata 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áxs. 249 ata 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áxs. 233 ata 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áxs. 111 ata 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áxs. 540 ata 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áxs. 1533 ata 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áxs. 501 ata 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áxinas Desde a 220 ata a 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
Cualificació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)