| Departamento | Ciencias da Computación e Tecnoloxías da Información |
| Área | Álxebra |
| Investigación | Grupo de investigación Information Retrieval Lab |
| Liñas de investigación | Aínda non figuran no xestor curricular da UDC (SUXI). |
| Contacto | Directorio da UDC |
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 |
|---|---|---|---|
| Lóxica | Formación básica | 0 | 30 |
| Matemática Discreta | Formación básica | 0 | 72 |
| Traballo Fin de Grao. Mención en Computación | Obrigatorio | 0 | 4 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Álxebra
Grao en Enxeñaría Informática
|
Formación básica | 0 | 30 |
|
Lóxica
Grao en Intelixencia Artificial
|
Formación básica | 0 | 40 |
|
Matemática Discreta
Grao en Enxeñaría Informática
|
Formación básica | 0 | 120 |
|
Matemática Discreta
Grao en Ciencia e Enxeñaría de Datos
|
Formación básica | 0 | 15 |
|
Matemática Discreta
Grao en Intelixencia Artificial
|
Formación básica | 0 | 15 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Álxebra
Grao en Enxeñaría Informática
|
Formación básica | 0 | 30 |
|
Lóxica
Grao en Intelixencia Artificial
|
Formación básica | 0 | 30 |
|
Matemática Discreta
Grao en Enxeñaría Informática
|
Formación básica | 0 | 140 |
|
Matemática Discreta
Grao en Ciencia e Enxeñaría de Datos
|
Formación básica | 0 | 10 |
|
Matemática Discreta
Grao en Intelixencia Artificial
|
Formación básica | 0 | 10 |
|
Validación e Verificación do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
(Obrigatorio)
|
Optativo | 0 | 10 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Álxebra
Grao en Enxeñaría Informática
|
Formación básica | 0 | 89,5 |
|
Lóxica
Grao en Intelixencia Artificial
|
Formación básica | 0 | 30 |
|
Matemática Discreta
Grao en Enxeñaría Informática
|
Formación básica | 0 | 30 |
|
Matemática Discreta
Grao en Intelixencia Artificial
|
Formación básica | 0 | 30 |
|
Sistemas Operativos
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 60 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Sistemas Operativos
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 60 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Álxebra
Grao en Enxeñaría Informática
|
Formación básica | 0 | 20 |
|
Concorrencia e Paralelismo
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 19 |
|
Representación do Coñecemento e Razoamento Automático
Grao en Enxeñaría Informática
|
Optativo | 0 | 21 |
Titorías definidas polo/a docente para o curso académico 2025/2026.
| Cuadrimestre | Día | Lugar |
|---|---|---|
| Segundo cuadrimestre |
xoves
10:30 a 12:30 |
Laboratorio 4.2 |
| Segundo cuadrimestre |
venres
10:30 a 12:30 |
Laboratorio 4.2 |
Dirixidos ou codirixidos polo/a docente desde o ano 2013.
Pode consultar os méritos de investigación seleccionando un tipo de mérito e o ano.
ARLEKIN: Razonamiento Automático y Aprendizaje con Inducción de Conocimiento (Automated Reasoning and LEarning with Knowledge INduction)
| Entidade financiadora | Ministerio de Ciencia e Innovación |
| Investigadores principais | Pedro Cabalar Fernández, José Santos Reyes |
| Tipo | Proxecto Programas Nacionales |
| Datas | Desde 01/09/2021 ata 31/08/2024 |
TARDIS: Temporal Automated Reasoning for Dynamic Intelligent Systems
| Entidade financiadora | Ministerio de Economía y Competitividad |
| Investigadores principais | Pedro Cabalar |
| Tipo | Proxecto Programas Nacionales |
| Datas | Desde 01/01/2018 ata 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áxs. 530 ata 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 ou de xestión para o/a docente.