On-going PhD theses

Adriana Maria da Silva Vieira
Joint Models for Survival and Longitudinal Data in Health Sciences
Supervisor: Inês Sousa (UM)
Fellowship: PD/BD/128191/2016

Ana Catarina Lopes Carvalho Sousa
Proof Search in Natural Deduction
Supervisor: José Carlos Espírito Santo (UM)
Fellowship: UI/BD/11418/2022

Ana Margarida Jesus Ferreira
Incremental Temporal Interval Mining Methodologies
Supervisors: Sofia Castro Gothen (UP) and Isabel Labouriau (UP)
Fellowship: PD/BD/150534/2019

Ana Micaela Gomes Batista
Attractiveness of Cycles in AC-Networks
Supervisor: João Gama (UP) and Ricardo Sousa (LIAAD)

Angelos Bampounis
Matchgate circuits with magic resources for universal quantum computation
Supervisor: Pedro Patrício (UM), Rui Soares Barbosa (INL), Nadish de Silva (CA)
Fellowship: SRFH/BD/151310/2021

Artur Diogo Ribeirinha de Freitas Gonçalves 
Hyper Modelling for Classification and Reinforcement Learning Tasks in Manufacturing Systems: a Zero-Shot Learning Approach
Supervisors: Gil Manuel Gonçalves (UP) and João Pedro Correia dos Reis (UP)

Catarina Justino Faustino
Topology of Higher-Dimensional Automata
Supervisor: Thomas Kahl (UM)
Fellowship: UI/BD/152071/2021

Daniela de Jesus Pereira da Silva
Spatial and Temporal Modelling in Fisheries and Environmental Sciences
Supervisors: Raquel Mota Leite (UM) e Susana Garrido (IPMA)
Fellowship: PD/BD/150535/2019

Daniela Macedo Correia
Modelação Semi-Paramétrica de Dados de Consumo Alimentar com Medidas Repetidas
Supervisors: Óscar Felgueiras (UP) and Milton Barros da Silva (UP)

Diana Isabel Cardoso Rocha
Estimação Bayesiana em Sistemas Dinâmicos para a Criação de Trajetórias individuais de pacientes com VIH
Supervisors: Sónia Gouveia (UA), Carla Pinto (IPP) and Manuel Scotto (UL)
Fellowship: SFRH/BD/107889/2015

Eduardo Miguel Lage Dixo Sousa
Solving Sparse-Reward Problems in Robot Manipulation Tasks using Deep Reinforcement Learning
Supervisors
: Jaime Cardoso (UP) and António Pedro Aguiar (UP)

Elsa Pombo Soares
Machine Learning Methods for Longitudinal Data Prediction
Supervisor: Inês Sousa (UM)
Fellowship: UI/BD/154394/2023

Faustino António Maciala
On generalized inverses of graph matrices
Pedro Patrício (UM) and Cláudia Mendes Araújo (UM)
Fellowship: UMINHO/BID/2024/14

Fernanda Catarina Cardoso Pereira
Development of Time Series Forecasting Models: a contribution in the context of dynamic modeling
Supervisors: Arminda Gonçalves (UM) and Marco Costa (UA)
Fellowship: UI/BD/150967/2021

Franco Anibal Golfieri Madriaga
Study of some Diophantine equations
Supervisor: Ariel Martín Pacetti (UA)
Fellowship: UI/BD/152573/2022

Gabriel Simões Cardoso
Multiperfect numbers in unique factorization domains
Supervisors: Paulo Almeida (UA) and António Machiavelo (UP)
Fellowship: PD/BD/150533/2019

Gabriel Chicale Cossa
Time Series Clustering and Forecasting Applied to Environmental Data
Supervisors: Marco Costa (UA) and Arminda Gonçalves (UM)
Fellowship: Fundação Calouste Gulbenkian, Ref. 255221

Gil Miguel Marques
Uncovering Partial Differential Equations Using a Data-driven Approach
Supervisors: Sílvio Gama (UP) and Marco Martins Afonso (UP)
Fellowship:
PD/BD/150537/2019

Hélder Armando Gonçalves Pinto
High-order Dynamical Interactions in Complex Network Systems: information-theoretic and parametric modeling approaches
Supervisors: Ana Paula Rocha (UP) and Lucas Faes (University of Palermo)
Fellowship:
tba

Huu Thien Nguyen
Motion Planning and Control for Variable-Geometry UAV Operation in a Cluttered Environment
Supervisors: Fernando Fontes (UP) and Ionela Prodan (Univ. Grenoble Alpes, France)
Fellowship: FCT 2020.07959.BD

Jhonathan David Barrios Martínez
Developing Novel Techniques for Gait Dynamics Analysis using Topological Data Analysis and Neural Networks
Supervisors: Flora Ferreira (UM), Wolfram Erlhagen (UM), Miguel Gago (Hospital NSO, Guimarães, and and School of Medicine, UM)
Fellowship: 2023.02242.BDANA

João Filipe Costa Freitas
Time Series Forecasting Using a Game Theoretical Decision Model with Estimators Obtained by Machine Learning Techniques
Supervisors: Alberto Pinto (UP), Óscar Felgueiras (UP) and João Gama (UP)

Jorge Vaz Ramos Rodrigues de Cabral
Modelling and Feature Selection in Health Big Data
Supervisors: Vera Afreixo (UA) and Pedro Macedo (UA)
Fellowship: UI/BD/152575/2022

Juan Enrique Fernández Díaz
Multiple Orthogonality and Markov Chains
Supervisors: Ana Foulquié (UA) and Manuel Mañas (Univ. Complutense de Madrid, Spain)
Fellowship: UI/BD/152576/2022

Laid Boudjellal
Mathematical modelling and analysis of biological and environmental systems
Supervisors: Ana Jacinta Soares (UM) and Maria Joana Torres (UM)
Fellowship: UMINHO/BID/2021/116

Lucas De Stefano Meira Henriques
Dynamic Energy Tariff Models Using Smart Meter Data
Supervisors
: Cecília Castro (UM) and Felipe Prata (Instituto Federal de Alagoas, Brazil)

Manisha Jain
Dynamic fuzzy logics for quantum programs: Foundations and applications
Supervisors: Alexandre Madeira (UA), Luis Soares Barbosa (UM) and Alexandru Baltag (University of Amsterdam)

Maria de Fátima Cruz Tavares
Optimality Conditions for Variational Problems Involving Distributed Order Fractional Derivatives
Supervisors: Natália Martins (UA) and Ricardo Almeida (UA)

Maria Hermínia  Esteves de Carvalho
Searching for Symbolic Patterns in Attributed Networks
Supervisors: Paula Brito (UP) and Sónia Dias (IPVC)

Maria Zita Fiqueli de Abreu
Constructions of Optimal Convolutional Codes
Supervisors: Raquel Pinto (UA) and Rita Simões (UA)
Fellowship: UI/BD/151186/2021​

Nilton Osvaldo Benvindo Ávidon
Sistemas Estocásticos Hipoelípticos: estimação de parâmetros e de estado
Supervisor: Paula Milheiro (UP)

Paulo Jorge da Silva Barbosa
Novel Methods for Learning the Neural Connectivity in Dynamic Neural Fields with Applications in the Design of Intelligent Systems
Supervisors: Wolfram Erlhagen (UM)Flora Ferreira (UM)
Fellowship: UI/BD/153737/2022

Paulo Tomás da Silva Tavares Monteiro
On Some Conjectures About Ideal Matrices
Supervisors: Tatiana Tchemisova (UA) and João Soares (UC)

Rafael Cizeski Nitchai
About Probabilistic Consensus Protocols on Distributed Ledger Technologies
Supervisors: Seguei Popov (UP) and Jorge Freitas (UP)
Fellowship: UI/BD/150863/2021

Ricardo José dos Santos Reis Pinto da Silva
Making Sense of Partial Observations of Big Data in Adaptive Supervisory Control Structures: an Application in Smart Factories
Supervisor
: Gil Manuel Gonçalves (UP)
Fellowship: NORTE-08-5369-FSE-000061, P2020|Norte2020 – PDMA

Rui Miguel da Cunha Nunes 
Functional Density Symbolic Data Analysis
Supervisors: Paula Brito (UP) and Sónia Dias (IPVC)

Salah Chaib
Left-invariant metrics on Lie groups: completeness, isometries, and dynamics
Supervisors: Ana Cristina Ferreira (UM) and Abdelghani Zeghib, ENS Lyon, France)
Fellowship: UI/BD/154255/2022

Tarikul Islam 
Mathematical Modeling of Nanofluid: A Comprehensive Numerical Study
Supervisors: Sílvio Gama (UP) and Marco Martins Afonso (UP)
Fellowship: UI/BD/153761/2022

Concluded theses

2024 (3 viva voce)
30 – Inês Filipa Serôdio Costa
The Queens’ graph and generalizations
Supervisors: Domingos Cardoso (UA) and Rui Duarte (UA)
Fellowship: PD/BD/150538/2019
2024, March

29 – João Paulo Simões Maurício de Carvalho
Qualitative Analysis of Epidemiological Models: Chaos, Bifurcations and Stability
Supervisor
: Alexandre Artur Pinho Rodrigues (UP) and Sílvio Gama (UP)
Fellowship: CMUP-UIDP/00144/2020
2024, March

28 – Ana Raquel Ferreira Martins
On the Theory of Spatio-temporal Models for Time Series of Counts and its Application to Health Outcomes
Supervisors: Sónia Gouveia (UA), Manuel Scotto (IST-UL), Christian Weiss (Helmut Schmidt University, Hamburg)
Fellowship: SFRH/BD/143973/2019
2024, January

2023 (4 viva voce)
27 – Nilson June Lima
Spectral Tau Method for Fractional and Partial Differential Problems
https://hdl.handle.net/10216/157118
Supervisors: Paulo Vasconcelos (UP) and José Matos (ISEP)
Fellowship: PD/BD/150332/2019
2023, December

26 – Diyako Ghaderyan
Distributed Optimization and Control Methods over Power Networks
https://hdl.handle.net/10216/152912
Supervisors
: António Pedro Aguiar (UP)
Fellowship: NORTE-08-5369-FSE-000061, P2020|Norte2020 – PDMA
2023, September

25 – Jorge Miguel Pereira Pinto da Silva
Estimação e Controlo em Anestesia: Modelos e Métodos Adequados à Prática Clínica
https://hdl.handle.net/10216/151156
Supervisors
: Paula Malonek (UP) and Teresa Mendonça (UP)
Fellowship: NORTE-08-5369-FSE-000061, P2020|Norte2020 – PDMA
2023, June

24 – Vítor Emanuel Moreira Bessa
Dynamical Systems in General Relativity and in Modified Gravity Theories
https://hdl.handle.net/10216/148063
Supervisors
: Filipe Mena (IST), Jorge Carvalho (UP) and Artur Alho (IST)
Fellowship: PD/BD/142891/2018
2023, January

2022 (7 viva voce)

23 – Faïçal Ndaïrou
Fractional Optimal Control and Biological Applications
https://ria.ua.pt/handle/10773/35978
Supervisors: Delfim Torres (UA) and Ivan Area (Univ. Vigo, Galicia)
Fellowship: PD/BD/150273/2019
2022, December

22 – Simon Ranjith Jeyabalan
Dynamics of Large-Scale Perturbations of Steady Convective Dynamos in a Horizontal Plane Layer of Electrically Conducting Fluid
https://hdl.handle.net/10216/146678
Supervisors
: Roman Chertovskikh (UP), Sílvio Gama (UP) and Vladislav Zheligovsky (Russian Academy of Sciences, Moscow)
Fellowship: PD/BD/142889/2018
2022, November

21 – Zine Houssine
Stochastic Fractional Generalizations in Optimal Control
https://ria.ua.pt/handle/10773/34382
Supervisor: Delfim Torres (UA)
2022, July

20- Atefeh Afsar
Applications of Game Theory and Dynamical Systems to Biology and Economy
https://repositorio-aberto.up.pt/handle/10216/141729
Supervisors: Alberto Pinto (UP) and Bruno Oliveira (UP)
Fellowship: PD/BD/142886/2018
2022, July

19- Gustavo Domingos da Costa Coelho Soutinho
Statistical Analysis of Complex Survival Data: New Contributions in Statistical Inference, Software Development and Biomedical Applications
https://repositorio-aberto.up.pt/handle/10216/141584
Supervisors
: Pedro Oliveira (UP) and Luis Machado (UM)
Fellowship: SFRH/PD/BD/142887/2018
2022, June

18- Rômulo Teixeira Rodrigues
Perception-Aware Motion Planning for Autonomous Robotic Vehicles
https://repositorio-aberto.up.pt/handle/10216/141106
Supervisors
: António Pedro Aguiar (UP) and António Pascoal (IST)
Fellowship: NORTE-08-5369-FSE-000061, P2020|Norte2020 – PDMA
2022, May

17- Claudio Alexandre Guerra Silva Gomes da Piedade
Faithful Permutation Representations of C-groups
https://ria.ua.pt/handle/10773/33912
Supervisor: Maria Elisa Fernandes (UA)
Fellowship: PD/BD/142888/2018
2022, April

2021 (4 viva voce)

16- Weronika Wojtak
A Novel Dynamic Field Model Supporting a Continuum of Bump Amplitudes: Analysis and Applications
Supervisors: Wolfram Erlhagen (UM) and Estela Bicho (UM)
Fellowship: PD/BD/128183/2016
2021, September

15- Carla Sofia da Silva Gonçalves
Renewable Energy Forecasting – Extreme Quantiles, Data Privacy and Monetization
https://repositorio-aberto.up.pt/handle/10216/135580
Supervisors: João Gama (UP) and Ricardo Jorge Bessa (INESC)
Fellowship: PD/BD/128189/2016
2021, July

14- Benjamin Anwasia
Hydrodynamic Limits of the Boltzmann Equation for Reactive Mixtures
https://repositorium.sdum.uminho.pt/handle/1822/77290
Supervisors: Ana Jacinta Soares (UM) and Patrícia Gonçalves (IST)
Fellowship: PD/BD/128188/2016
2021, February

13- Eros Martinelli
Actions, injectives and injective hulls in quantale-enriched multicategories
https://ria.ua.pt/handle/10773/31561
Supervisor: Dirk Hofmann (UA)
Fellowship: PD/BD/128187/2016
2021, February

2020 (5 viva voce)

12- João Miguel da Silva Oliveira
Aspetos de modelos Einstein-Maxwell-scalar: Solitões, Dualidade e Escalarisação
https://ria.ua.pt/handle/10773/30285
Supervisors: Carlos Herdeiro (UA) and Filipe Mena (IST)
Fellowship: PD/BD/128184/2016
2020, November

11- Hélder Fernando Cerqueira Alves
Interval-Weighted Networks: Community Detection and Centrality Measures
https://repositorio-aberto.up.pt/handle/10216/129446
Supervisors: Paula Brito (UP) and Pedro Campos (UP)
2020, September

10- Olena Kostylenko
Análise Dinâmica e Controlo Ótimo com Aplicações à Economia
https://ria.ua.pt/handle/10773/29917
Supervisors: Delfim Torres (UA) and Helena Sofia Rodrigues (IPVC)
Fellowship: PD/BD/114188/2016
2020, July

9- Sofia da Silva Fernandes
Tensor-based Approaches for Evolving Social Network Analysis
https://repositorio-aberto.up.pt/handle/10216/127601
Supervisors: João Gama (UP) and Hadi Fanaee Tork (University of Oslo)
Fellowship: PD/BD/114189/2016
2020, June

8- Daniel Oliveira Figueiredo
Logic Foundations and Computational Tools for Synthetic Biology
https://ria.ua.pt/handle/10773/29829
Supervisors: Manuel Martins (UA) and Luís Soares Barbosa (UM)
Fellowship: PD/BD/114186/2016
2020, February

2019 (6 viva voce)

7- Ana Pedro Lemos Paião
Controlo Ótimo e Modelos Matemáticos em Epidemologia
http://hdl.handle.net/10773/29401
Supervisors: Delfim Torres (UA) and Cristiana João Soares da Silva (UA)
Fellowship: PD/BD/114184/2016
2019, December

6- Rita Catarina Correia Guerra
Generalizações da Transformação de Fourier e suas Aplicações
https://ria.ua.pt/handle/10773/29813
Supervisors: Luís Filipe Pinheiro de Castro (UA) and Nguyen Minh Tuan (Vietnam National University, Hanoi)
Fellowship: PD/BD/114187/2016
2019, October

5- Filipe Manuel Gonçalves Rodrigues
Problemas de Routeamento e Gestão de Stock com Incerteza
https://ria.ua.pt/handle/10773/29814
Supervisors: Maria Cristina Saraiva Requejo Agra (UA) and Agostinho Miguel Mendes Agra (UA)
Fellowship: PD/BD/114185/2016
2019, October

4- Alojz Gomola
Obstacle Avoidance Framework Based on Reach Sets
https://repositorio-aberto.up.pt/handle/10216/121774
Supervisor: João Sousa (UP), Fernando Lobo Pereira (UP) and Milan Hrusecky (Aerospace, Honeywell International)
Fellowship: European Union‘s Horizon 2020 research and innovation programme, under the Marie Sklodowska-Curie grant agreement No. 642153.
2019, July

3- Diana Filipa de Pinho Costa
Lógicas Híbridas com Paraconsistência
https://ria.ua.pt/handle/10773/28287
Supervisor: Manuel António Gonçalves Martins (UA)
Fellowship: PD/BD/105730/2014
2019, February

2- Andreia Alves Forte de Oliveira Monteiro
Contributions to Spatial and Temporal Modelling
http://repositorium.sdum.uminho.pt/handle/1822/65741
Supervisors: Raquel Menezes (UM) and Maria Eduarda Silva (UP)
Fellowship: PD/BD/105743/2014
2019, January

2018 (1 viva voce)

1- Ana Helena Marques de Pinho Tavares
Análise de Distribuições de Distâncias entre Palavras Genómicas
https://ria.ua.pt/handle/10773/25792
Supervisor: Vera Mónica Almeida Afreixo (UA) and Paula Brito (UP)
Fellowship: PD/BD/105729/2014
2018, December