| Departamento | Ciencias de la Computación y Tecnologías de la Información |
| Área | Álgebra |
| Investigación | Grupo de investigación Information Retrieval Lab |
| Líneas de investigación | No figuran en el gestor curricular de la UDC (SUXI). |
| Contacto | Directorio de la UDC |
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 |
|---|---|---|---|
| Álgebra | Formación básica | 0 | 51 |
| Lógica | Formación básica | 0 | 30 |
| Matemática Discreta | Formación básica | 0 | 90 |
| Trabajo Fin de Grado. Mención en Computación | Obligatorio | 0 | 4 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Álgebra
Grado en Ingeniería Informática
|
Formación básica | 0 | 30 |
|
Lógica
Grado en Inteligencia Artificial
|
Formación básica | 0 | 40 |
|
Matemática Discreta
Grado en Ingeniería Informática
|
Formación básica | 0 | 120 |
|
Matemática Discreta
Grado en Ciencia e Ingeniería de Datos
|
Formación básica | 0 | 15 |
|
Matemática Discreta
Grado en Inteligencia Artificial
|
Formación básica | 0 | 15 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Álgebra
Grado en Ingeniería Informática
|
Formación básica | 0 | 30 |
|
Lógica
Grado en Inteligencia Artificial
|
Formación básica | 0 | 30 |
|
Matemática Discreta
Grado en Ingeniería Informática
|
Formación básica | 0 | 140 |
|
Matemática Discreta
Grado en Ciencia e Ingeniería de Datos
|
Formación básica | 0 | 10 |
|
Matemática Discreta
Grado en Inteligencia Artificial
|
Formación básica | 0 | 10 |
|
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 0 | 10 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Álgebra
Grado en Ingeniería Informática
|
Formación básica | 0 | 89,5 |
|
Lógica
Grado en Inteligencia Artificial
|
Formación básica | 0 | 30 |
|
Matemática Discreta
Grado en Ingeniería Informática
|
Formación básica | 0 | 30 |
|
Matemática Discreta
Grado en Inteligencia Artificial
|
Formación básica | 0 | 30 |
|
Sistemas Operativos
Grado en Ingeniería Informática
|
Obligatorio | 0 | 60 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Sistemas Operativos
Grado en Ingeniería Informática
|
Obligatorio | 0 | 60 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Álgebra
Grado en Ingeniería Informática
|
Formación básica | 0 | 20 |
|
Concurrencia y Paralelismo
Grado en Ingeniería Informática
|
Obligatorio | 0 | 19 |
|
Representación del Conocimiento y Razonamiento Automático
Grado en Ingeniería Informática
|
Optativo | 0 | 21 |
Tutorías definidas por el/la docente para el curso académico 2025/2026.
| Cuatrimestre | Día | Lugar |
|---|---|---|
| Segundo cuatrimestre |
jueves
10:30 a 12:30 |
Laboratorio 4.2 |
| Segundo cuatrimestre |
viernes
10:30 a 12:30 |
Laboratorio 4.2 |
Dirigidos o codirigidos 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.
ARLEKIN: Razonamiento Automático y Aprendizaje con Inducción de Conocimiento (Automated Reasoning and LEarning with Knowledge INduction)
| Entidad financiadora | Ministerio de Ciencia e Innovación |
| Investigadores principales | Pedro Cabalar Fernández, José Santos Reyes |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 01/09/2021 a 31/08/2024 |
TARDIS: Temporal Automated Reasoning for Dynamic Intelligent Systems
| Entidad financiadora | Ministerio de Economía y Competitividad |
| Investigadores principales | Pedro Cabalar |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 01/01/2018 a 31/12/2020 |
Accelerating 3D printing of pharmaceutical products using machine learning
| Autores | Jun Jie Ong, Brais Muñiz, Simon Gaisford, Pedro Cabalar, Abdul W. Basit, Gilberto Pérez, Alvaro Goyanes |
| Revista | INTERNATIONAL JOURNAL OF PHARMACEUTICS Vol. 4 |
| DOI | https://doi.org/10.1016/j.ijpx.2022.100120 |
Machine learning predicts 3D printing performance of over 900 drug delivery systems
| Autores | Brais Muñiz, Moe Elbadawi, Jun Jie Ong, Thomas Pollard, Zhe Song, Simon Gaisford, Gilberto Pérez, Abdul W. Basit, Pedro Cabalar, Alvaro Goyanes |
| Revista | JOURNAL OF CONTROLLED RELEASE Vol. 337 (págs. 530 a 545) |
| DOI | https://doi.org/10.1016/j.jconrel.2021.07.046 |
M3DISEEN: A novel machine learning approach for predicting the 3D printability of medicines
| Autores | Moe Elbadawi, Brais Muñiz, Francesca K.H. Gavins, Jun Jie Ong, Simon Gaisford, Gilberto Pérez, Abdul W. Basit, Pedro Cabalar, Alvaro Goyanes |
| Revista | INTERNATIONAL JOURNAL OF PHARMACEUTICS Vol. 590 |
| DOI | https://doi.org/10.1016/j.ijpharm.2020.119837 |
Explainable Machine Learning for Liver Transplantation
XAI-Healthcare 2021 Workshop (AIME 2021)
Internacional
| Autores | Pedro Cabalar, Brais Muñiz, Gilberto Pérez, Francisco Suárez |
| Lugar | Murcia (España) |
aspBEEF: Explaining Predictions Through Optimal Clustering (preliminary report)
14th Workshop on Answer Set Programming and Other Computing Paradigms (ICLP 2021)
Internacional
| Autores | Pedro Cabalar, Rodrigo Martín, Brais Muñiz, Gilberto Pérez |
| Lugar | Porto (Portugal) |
A system for explainable answer set programming
Declarative Problem Solving Workshop 2020 (DPSW20) - ECAI2020
Internacional
| Autores | Pedro Cabalar, Jorge Fandinno, Brais Muñiz |
| Lugar | Santiago de Compostela (España) |
Cargos académicos o de gestión para el/la docente.