Student supervision

PhD students

Joaquim Silva, Adaptive Computation Offloading in Mobile Edge Clouds, co-advised with Fernando Silva, MAP-i PhD program. Related publications: JCC'21, FMEC'20

Ruben Ramalho, Indoor Location Systems using Ultra Wide-band, MERSI, co-advised with Sérgio Crisóstomo.

Choi Dzak, A Functional Reactive Programming Framework for Autonomous Vehicles, MCC, co-advised with João Sousa (DEEC/FEUP)
Joana Leite, A Machine Learning approach to determine Stellar Atmospheric Parameters using Spectral Data, MCC, co-advised with Luís Lopes

António Filgueiras, FloraLens: a deep learning model for portuguese flora, MERSI, co-advised with Luís Lopes.
Frederico Lopes, Resilience of code obfuscation to optimization and fuzzing, MSI, co-advised with André Baptista.
João Paulo Carvalho,AugBot: indoor location system using ROS, MERSI, co-advised with Sérgio Crisóstomo.
Tiago Melo, Sensor Fusion for Indoor Localization, MERSI co-advised with Rui Prior and Sérgio Crisóstomo
Tomás Mamede,A Machine Learning Approach to Indoor Localization Using Bluetooth and Video Data, MCC, co-advised with Luís Lopes.

Miguel Pereira, Onboard Image Classification of Biological Habitats Using Underwater Vehicles, MCC, co-advised with José Pinto.

Célio Rodrigues, Property-based testing of ERC-20 smart contracts, MSI.
Fábio Freitas, Application Security in Continous Delivery, co-advised with Pedro Borges from LOQR, MSI.
Miguel Marques, A Portuguese Flora identification tool using deep learning, co-advised with Luís Lopes, MIERSI.

Ricardo Santos, Plataforma de Monitorização da Biodiversidade no Concelho de V. N. Gaia [PDF], co-advised with Luís Lopes, MIERSI.

Miguel Garcia, Content sharing system in infrastructure deprived environments using edge clouds [PDF], co-advised with Luís Lopes, MIERSI - check our paper at FMEC'20
Tiago Castanheira, Simulation of mobile edge cloud applications using Mininet-WiFi [PDF], co-advised with Luís Lopes, MIERSI.
Pedro Seruca, CommManager: comunicação adaptativa em redes de veículos autónomos, co-advised with José Pinto, MIERSI.
Rui Silva, Barrel Shooter: um jogo ``peer-to-peer'' para ``mobile edge clouds'', co-advised with Fernando Silva, MIERSI.

Nuno Silva, Flux: A platform for mobile data sensing using personal devices [PDF], co-advised with Luís Lopes, MIERSI - check our papers at ACM TOSN'18 and ACM BuildSys'17.
Keila Lima, Dolphin: A Domain-Specific Language for Autonomous Vehicle Networks [PDF], co-advised with José Pinto from LSTS/FEUP, MIERSI - check our IROS'18 and Oceans'18 papers.
José Oliveira, Analysis of consistency properties for Key-Value Stores on Mobile Edge Clouds, MIERSI.

Hugo Duarte, Plataforma de Execução de Testes de Aceitação via Interface do Utilizador, MSc Thesis, DI/FCUL, 2015, co-advised with Francisco Martins
Raquel Carmona, Plataforma de Especificação de Testes de Aceitação via Interface do Utilizador, MSc Thesis, DI/FCUL, 2015, co-advised with Francisco Martins

Manuel Ribeiro, NVL: uma linguagem de coordenação para redes de veículos autónomos [PDF], MSc Thesis, DI/FCUL, 2014, co-advised with Francisco Martins and in collaboration with LSTS - check our papers at SAC'15 and NGCUV'15
Miguel Simões, Cooperative testing of multithreaded Java applications [PDF], MSc Thesis, DI/FCUL, 2014, co-advised with Francisco Martins - check our paper at PPPJ'14
Filipe Lemos, Synthesis of correct-by-construction MPI programs [PDF], MSc Thesis, DI/FCUL, 2014, co-advised with Vasco T. Vasconcelos

Nuno Martins, Formal verification of parallel C+MPI programs, MSc Thesis, DI/FCUL 2013, co-advised with Vasco T. Vasconcelos

Diogo Marques, Development of a Web Application for the Normalization of Stellar Spectra, LCC project course, 2023/24, co-advised with Luís Lopes
Hugo Silva, Implementação de uma aplicação móvel para o Biolens, LCC project course, 2022/23, co-advised with Luís Lopes
Diogo Sousa, Deteção e Eliminação de Artefactos em Imagens Astronómicas, LCC project course, 2022, co-advised with Luís Lopes
Isac Novo, Property-based testing of ERC-721 Ethereum smart contracts [PDF], LCC Project course, 2021.
Tomás Mamede, On using Deep Learning for Automatic Taxonomic Identification of Butterflies [PDF], LCC Project course, 2020, co-advised with Luís Lopes
Nuno Neto, MAVLink plugin for the Dolphin language [PDF], LCC Project course, 2020.
Miguel Silva, HyraxMsg: uma aplicação de "messaging" para "mobile edge clouds" [PDF], a messaging app for mobile edge-clouds, using the Hyrax middleware, IIC course, 2017.

Bárbara Ferreira, Changes and trends in remotely-sensed Ecosystem Functional Attributes: A pilot assessment with the Google Earth Engine platform [PDF], co-advised with João Gonçalves and João Honrado, BBC post-graduate course project, 2018.