Concluded thesis

Alojz Gomola
Obstacle Avoidance Framework based on Reach Sets
Supervisor: João Sousa (UP) and Fernando Lobo Pereira (UP)
Fellowship: European Union‘s Horizon 2020 research and innovation programme, under the Marie Sklodowska-Curie grant agreement No. 642153.
2019

Ana Helena Marques de Pinho Tavares
Análise de distribuições de distâncias entre palavras genómicas
Supervisor: Vera Mónica Almeida Afreixo (UA)
Fellowship: PD/BD/105729/2014
2018

Ana Pedro Lemos Paião
Controlo ótimo e modelos matemáticos em epidemologia
Supervisors: Delfim Torres (UA) and Cristiana João Soares da Silva (UA)
Fellowship: PD/BD/114184/2016
2019

Andreia Alves Forte de Oliveira Monteiro
Contributions to Spatial and Temporal Modelling.
Supervisors: Raquel Menezes (UM) and Maria Eduarda Silva (UP)
Fellowship: PD/BD/105743/2014
2019

Daniel Oliveira Figueiredo
Logic foundations and computational tools for synthetic biology
Supervisors: Manuel Martins (UA) and Luís Soares Barbosa (UM)
Fellowship: PD/BD/114186/2016
2020

Diana Filipa de Pinho Costa
Inconsistências em Lógica
Supervisor: Manuel António Gonçalves Martins (UA)
Fellowship: PD/BD/105730/2014
2019

Filipe Manuel Gonçalves Rodrigues
Problemas de routeamento e gestão de stock com incerteza
Supervisors: Maria Cristina Saraiva Requejo Agra (UA) and Agostinho Miguel Mendes Agra (UA)
Fellowship: PD/BD/114185/2016
2019

Olena Kostylenko
Análise Dinâmica e Controlo Ótimo com Aplicações à Economia
Supervisors: Delfim Torres (UA) and Helena Sofia Rodrigues (IPVC)
Fellowship: PD/BD/114188/2016
2020

Rita Catarina Correia Guerra
Generalizações da transformação de Fourier e suas aplicações
Supervisors: Luís Filipe Pinheiro de Castro (UA) and Nguyen Minh Tuan (Vietnam National University, Hanoi)
Fellowship: PD/BD/114187/2016
2019