Juan José Sánchez Penas  

Profesor asociado tipo 3 (ASOC-3)

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
Concorrencia e Paralelismo 60
Deseño de sistemas de información 63
Interfaces Persoa Máquina 20
Materia e estudos en que se imparte Horas totais
Concorrencia e Paralelismo
Grao en Enxeñaría Informática
60
Deseño de sistemas de información
Mestrado Universitario en Enxeñaría Informática
63
Interfaces Persoa Máquina
Grao en Enxeñaría Informática
10
Prácticas en Empresa
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática
6
Traballo Fin de Grao. Mención en Sistemas de Información
Grao en Enxeñaría Informática
8
Materia e estudos en que se imparte Horas totais
Concorrencia e Paralelismo
Grao en Enxeñaría Informática
15
Deseño de sistemas de información
Mestrado Universitario en Enxeñaría Informática
63
Prácticas en Empresa
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática
10
Materia e estudos en que se imparte Horas totais
Deseño de sistemas de información
Mestrado Universitario en Enxeñaría Informática
63
Traballo Fin de Grao. Mención en Enxeñaría do Software
Grao en Enxeñaría Informática
23
Traballo Fin de Grao. Mención en Sistemas de Información
Grao en Enxeñaría Informática
4
Materia e estudos en que se imparte Horas totais
Deseño de sistemas de información
Mestrado Universitario en Enxeñaría Informática
63
Deseño Software
Grao en Enxeñaría Informática
20
Materia e estudos en que se imparte Horas totais
Deseño de sistemas de información
Mestrado Universitario en Enxeñaría Informática
53
Interfaces Persoa Máquina
Grao en Enxeñaría Informática
3

Titorías definidas polo/a docente para o curso académico 2017/2018.

Facultade de Informática

Cuadrimestre Día Lugar
Primeiro cuadrimestre martes
10:30 a 13:30
Despacho 1.10. Edificio Área Científica
Primeiro cuadrimestre mércores
16:30 a 18:30
Despacho 1.10. Edificio Área Científica

Traballos fin de grao e mestrado

Dirixidos ou codirixidos polo/a docente desde o ano 2013.

Desenvolvemento dunha prótese persoal con software e hardware libre

Resultados da investigación

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

Model checking a video-on-demand server using Mcerlang

Autores Lars-Ake Fredlund, Juan José Sánchez Penas
Revista Lecture Notes in Computer Science Vol. 4739 (páxs. 539 ata 546)

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)

Development of a Scalable, Fault Tolerant and Low Cost Cluster-based e-Payment System with a Distributed Functional Kernel

Autores Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas, José Mª García-Tizón Iglesias
Revista Lecture Notes in Computer Science Vol. 2809 (páxs. 220 ata 230)

Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel

Autores Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas, José Mª García-Tizón Iglesias
Revista Lecture Notes in Computer Science Vol. 2809 (páxs. 220 ata 230)

Lambda Goes to Hollywood

Autores Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Juan José Sánchez Penas
Revista Lecture Notes in Computer Science Vol. 2562 (páxs. 391 ata 407)

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

Translating Erlang to mCRL - Making Industrial Code Available for Research Tools
Fourth International Conference on Application of Concurrency to System Design (ACSD 2004)
Internacional

Autores Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas
Lugar Hamilton, Ontario (Canadá)

Development of a Scalable, Fault Tolerant and Low Cost Cluster-based e-Payment System with a Distributed Functional Kernel
9th International Workshop on Computer Aided Systems Theory. EUROCAST2003
Internacional

Autores Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas, José Mª García-Tizón Iglesias
Lugar España

Extending the VoDKA architecture to improve resource modelling
2nd ACM SIGPLAN Erlang Workshop (PLI 2003)
Internacional

Autores Juan José Sánchez Penas, Carlos Abalde Ramiro
Lugar Uppsala (Suecia)