Juan José Sánchez Penas  

Profesor asociado tipo 3 (ASOC-3)

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
Concurrencia y Paralelismo
Grado en Ingeniería Informática
60
Diseño de Sistemas de Información
Máster Universitario en Ingeniería Informática
63
Interfaces Persona Máquina
Grado en Ingeniería Informática
20
Asignatura y estudios en la que se imparte Horas totales
Concurrencia y Paralelismo 60
Diseño de Sistemas de Información 63
Interfaces Persona Máquina 10
Prácticas en Empresa 6
Trabajo Fin de Grado. Mención en Sistemas de Información 8
Asignatura y estudios en la que se imparte Horas totales
Concurrencia y Paralelismo
Grado en Ingeniería Informática
15
Diseño de Sistemas de Información
Máster Universitario en Ingeniería Informática
63
Prácticas en Empresa
Grado en Ingeniería Informática
Grado en Ingeniería Informática
10
Asignatura y estudios en la que se imparte Horas totales
Diseño de Sistemas de Información
Máster Universitario en Ingeniería Informática
63
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática
23
Trabajo Fin de Grado. Mención en Sistemas de Información
Grado en Ingeniería Informática
4
Asignatura y estudios en la que se imparte Horas totales
Diseño de Sistemas de Información
Máster Universitario en Ingeniería Informática
63
Diseño Software
Grado en Ingeniería Informática
20
Asignatura y estudios en la que se imparte Horas totales
Diseño de Sistemas de Información
Máster Universitario en Ingeniería Informática
53
Interfaces Persona Máquina
Grado en Ingeniería Informática
3

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

Facultad de Informática

Cuatrimestre Día Lugar
Primer cuatrimestre miércoles
17:30 a 19:30
Despacho 1.10. Edificio Área Científica
Primer cuatrimestre jueves
17:30 a 19:30
Despacho 1.10. Edificio Área Científica

Trabajos de fin de grado y máster

Dirigidos o codirigidos por el/la docente desde el año 2013.

Desarrollo de una prótesis personal con software y hardware libre

Resultados de investigación

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

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ágs. 539 a 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ágs. 111 a 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ágs. 220 a 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ágs. 220 a 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ágs. 391 a 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 Palmas de Gran Canarias (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 Gran Canaria (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)