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 |
| Departamento | Ciencias de la Computación y Tecnologías de la Informació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 |
| ResearcherIDM-2212-2014 Scopus7102271615 | |
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 | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
| Algoritmos | Obligatorio | 0 | 237 |
|
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 0,5 |
| Trabajo Fin de Grado. Mención en Sistemas de Información | Obligatorio | 0 | 1 |
|
Trabajo Fin de Grado. Mención en Tecnologías de la Información
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 2,5 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Algoritmos
Grado en Ingeniería Informática
|
Obligatorio | 0 | 260 |
|
Algoritmos
Grado en Inteligencia Artificial
|
Obligatorio | 0 | 20 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Algoritmos
Grado en Ingeniería Informática
|
Obligatorio | 0 | 270 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Algoritmos
Grado en Ingeniería Informática
|
Obligatorio | 0 | 280 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Algoritmos
Grado en Ingeniería Informática
|
Obligatorio | 0 | 274 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Algoritmos
Grado en Ingeniería Informática
|
Obligatorio | 0 | 284 |
Tutorías definidas por el/la docente para el curso académico 2024/2025.
| Cuatrimestre | Día | Lugar |
|---|---|---|
| Primer cuatrimestre |
miércoles
09:30 a 13:30 |
santiago.jorge@udc.es |
| Segundo cuatrimestre |
miércoles
09:25 a 13:25 |
Despacho 418 |
| Segunda oportunidad |
lunes
11:15 a 13:15 |
Despacho 418 |
No figuran proyectos fin de grado o máster dirigidos por el/la docente desde el año 2013
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 |
Ayudas para la consolidación y estructuración de unidades de investigación competitiva. Modalidad de agrupaciones estratégicas (CITIC)
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Ricardo Cao Abad |
| Tipo | Proyecto Programas Autonomicos |
| 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 |
| Investigadores principales | David Cabrero Souto |
| Tipo | Contrato |
| Fechas | Desde 16/04/2012 a 15/04/2014 |
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) |
| Investigadores principales | David Cabrero Souto |
| 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 15/10/2005 a 14/10/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 Vol. - 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
Nacional
| 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) |
Cargos académicos o de gestión para el/la docente.