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 |
| Departamento | Ciencias da Computación e Tecnoloxías da Informació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 |
| ResearcherIDM-2212-2014 Scopus7102271615 | |
Neste apartado móstrase a docencia impartida en graos, másteres e resto de titulacións oficiais ata os últimos 6 anos.
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
| Algoritmos | Obrigatorio | 0 | 237 |
|
Traballo Fin de Grao. Mención en Enxeñaría do Software
Grao en Enxeñaría Informática. Curso Ponte
|
Obrigatorio | 0 | 0,5 |
| Traballo Fin de Grao. Mención en Sistemas de Información | Obrigatorio | 0 | 1 |
|
Traballo Fin de Grao. Mención en Tecnoloxías da Información
Grao en Enxeñaría Informática. Curso Ponte
|
Obrigatorio | 0 | 2,5 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Algoritmos
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 260 |
|
Algoritmos
Grao en Intelixencia Artificial
|
Obrigatorio | 0 | 20 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Algoritmos
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 270 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Algoritmos
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 280 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Algoritmos
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 274 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Algoritmos
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 284 |
Titorías definidas polo/a docente para o curso académico 2024/2025.
| Cuadrimestre | Día | Lugar |
|---|---|---|
| Primeiro cuadrimestre |
mércores
09:30 a 13:30 |
santiago.jorge@udc.es |
| Segundo cuadrimestre |
mércores
09:25 a 13:25 |
Despacho 418 |
| Segunda oportunidade |
luns
11:15 a 13:15 |
Despacho 418 |
Non figuran proxectos fin de grao ou máster dirixidos polo/a docente desde o ano 2013
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 |
Ayudas para la consolidación y estructuración de unidades de investigación competitiva. Modalidad de agrupaciones estratégicas (CITIC)
| Entidade financiadora | Xunta de Galicia |
| Investigadores principais | Ricardo Cao Abad |
| Tipo | Proxecto Programas Autonomicos |
| 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 |
| Investigadores principais | David Cabrero Souto |
| Tipo | Contrato |
| Datas | Desde 16/04/2012 ata 15/04/2014 |
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) |
| Investigadores principais | David Cabrero Souto |
| 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 15/10/2005 ata 14/10/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 Vol. - 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
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 ou de xestión para o/a docente.