| Department | Computer Science and Information Technologies |
| Knowledgment area | Algebra |
| Research | Research group Information Retrieval Lab |
| Research lines | No data available from Curriculum Management System at UDC. (SUXI). |
| Contacto | UDC directory |
This section shows the teaching given in degrees, masters and other officers studies in last 6 years.
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Discrete Mathematics
Degree in Computer Engineering
(Basic Training)
|
Basic Training | 0 | 72 |
|
Discrete Mathematics
Concurrent Programme of Studies for Degree in Computer Engineering and the Degree in Data Science and Engineering
(Basic Training)
|
Basic Training | 0 | 0 |
|
Logic
Degree in Artificial Intelligence
(Basic Training)
|
Basic Training | 0 | 30 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Discrete Mathematics
Degree in Computer Engineering
(Basic Training)
|
Basic Training | 0 | 120 |
|
Algebra
Degree in Computer Engineering
(Basic Training)
|
Basic Training | 0 | 30 |
|
Discrete Mathematics
Degree in Data Science and Engineering
(Basic Training)
|
Basic Training | 0 | 15 |
|
Discrete Mathematics
Degree in Artificial Intelligence
(Basic Training)
|
Basic Training | 0 | 15 |
|
Logic
Degree in Artificial Intelligence
(Basic Training)
|
Basic Training | 0 | 40 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Discrete Mathematics
Degree in Computer Engineering
(Basic Training)
|
Basic Training | 0 | 140 |
|
Logic
Degree in Artificial Intelligence
(Basic Training)
|
Basic Training | 0 | 30 |
|
Software Verification and Validation
Degree in Computer Engineering
(Elective)
|
Elective | 0 | 10 |
|
Algebra
Degree in Computer Engineering
(Basic Training)
|
Basic Training | 0 | 30 |
|
Discrete Mathematics
Degree in Data Science and Engineering
(Basic Training)
|
Basic Training | 0 | 10 |
|
Discrete Mathematics
Degree in Artificial Intelligence
(Basic Training)
|
Basic Training | 0 | 10 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Operating Systems
Degree in Computer Engineering
(Compulsory)
|
Compulsory | 0 | 60 |
|
Discrete Mathematics
Degree in Artificial Intelligence
(Basic Training)
|
Basic Training | 0 | 30 |
|
Discrete Mathematics
Degree in Computer Engineering
(Basic Training)
|
Basic Training | 0 | 30 |
|
Algebra
Degree in Computer Engineering
(Basic Training)
|
Basic Training | 0 | 89 |
|
Logic
Degree in Artificial Intelligence
(Basic Training)
|
Basic Training | 0 | 30 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Operating Systems
Degree in Computer Engineering
(Compulsory)
|
Compulsory | 0 | 60 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Concurrency and Parallelism
Degree in Computer Engineering
(Compulsory)
|
Compulsory | 0 | 19 |
|
Knowledge Representation and Automatic Reasoning
Degree in Computer Engineering
(Elective)
|
Elective | 0 | 21 |
|
Algebra
Degree in Computer Engineering
(Basic Training)
|
Basic Training | 0 | 20 |
Defined tutoring by teacher for 2026/2027 academic course.
| Quarter | Day | Site |
|---|---|---|
| 1st quarter |
Tuesday
10:30 a 12:00 |
Seminario 2.2 |
| 1st quarter |
Wednesday
11:00 a 12:30 |
Seminario 4.2 |
| 1st quarter |
Thursday
08:30 a 10:00 |
Seminario 4.2 |
| 1st quarter |
Friday
10:30 a 12:00 |
Seminario 4.2 |
Directed or codirected by current teacher since 2013 year.
Select merit type and year to query research merits.
ARLEKIN: Razonamiento Automático y Aprendizaje con Inducción de Conocimiento (Automated Reasoning and LEarning with Knowledge INduction)
| Funding entity | Ministerio de Ciencia e Innovación |
| Main researches | Pedro Cabalar Fernández, José Santos Reyes |
| Type | Proyecto Programas Nacionales |
| Dates | From 01/09/2021 to 31/08/2024 |
TARDIS: Temporal Automated Reasoning for Dynamic Intelligent Systems
| Funding entity | Ministerio de Economía y Competitividad |
| Main researches | Pedro Cabalar |
| Type | Proyecto Programas Nacionales |
| Dates | From 01/01/2018 to 31/12/2020 |
Accelerating 3D printing of pharmaceutical products using machine learning
| Authors | Jun Jie Ong, Brais Muñiz, Simon Gaisford, Pedro Cabalar, Abdul W. Basit, Gilberto Pérez, Alvaro Goyanes |
| Journal | 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
| Authors | Brais Muñiz, Moe Elbadawi, Jun Jie Ong, Thomas Pollard, Zhe Song, Simon Gaisford, Gilberto Pérez, Abdul W. Basit, Pedro Cabalar, Alvaro Goyanes |
| Journal | JOURNAL OF CONTROLLED RELEASE Vol. 337 (pages 530 to 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
| Authors | Moe Elbadawi, Brais Muñiz, Francesca K.H. Gavins, Jun Jie Ong, Simon Gaisford, Gilberto Pérez, Abdul W. Basit, Pedro Cabalar, Alvaro Goyanes |
| Journal | 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)
International
| Authors | Pedro Cabalar, Brais Muñiz, Gilberto Pérez, Francisco Suárez |
| Place | Murcia (España) |
aspBEEF: Explaining Predictions Through Optimal Clustering (preliminary report)
14th Workshop on Answer Set Programming and Other Computing Paradigms (ICLP 2021)
International
| Authors | Pedro Cabalar, Rodrigo Martín, Brais Muñiz, Gilberto Pérez |
| Place | Porto (Portugal) |
A system for explainable answer set programming
Declarative Problem Solving Workshop 2020 (DPSW20) - ECAI2020
International
| Authors | Pedro Cabalar, Jorge Fandinno, Brais Muñiz |
| Place | Santiago de Compostela (España) |
Academic or management positions held by teacher.