Advisees
| Advisees | Total | 2028 (exp.) | 2027 (exp.) | 2026 | 2025 | 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Postdoc | 2 | 2 | ||||||||||||||||||||||||||||||||
| PhD | 5 | 1 | 1 | 1 | 1 | 1 | ||||||||||||||||||||||||||||
| MSc | 63 | 6 | 4 | 4 | 3 | 3 | 9 | 7 | 1 | 4 | 1 | 2 | 5 | 1 | 1 | 4 | 3 | 2 | 2 | 1 | ||||||||||||||
| BSc | 59 | 3 | 1 | 3 | 4 | 3 | 4 | 2 | 3 | 3 | 4 | 2 | 2 | 3 | 1 | 6 | 2 | 1 | 6 | 3 | 1 | 1 | 1 | |||||||||||
| All | 129 | 1 | 6 | 4 | 4 | 6 | 3 | 10 | 11 | 6 | 7 | 5 | 3 | 3 | 7 | 5 | 7 | 3 | 4 | 5 | 9 | 4 | 3 | 7 | 3 | 1 | 1 | 1 |
Year of conclusion (or expected conclusion, in the most recent columns). BSc advisees are listed on their own page.
Postdoc
PhD
“Data Storage and Dissemination in Pervasive Edge Computing Environments” Coadviser: Hervé Paulino (FCT-NOVA) This research work aims at exploring how to provide a storage service for mobile edge environments, as a means to enable data storage, dissemination, and querying among co-located mobile devices, both in settings with or without network infrastructure access.
“WiFi-Direct InterNetworking” Main adviser: Hervé Paulino (FCT-NOVA) This research work aims at enabling internetworking of off-the-shelf Android devices using WiFi-Direct. Work Supported by the Hyrax Project.
“Executing Requests Concurrently in State Machine Replication” Coadviser: Ricardo Dias (FCT-NOVA) This research work proposes to use speculative execution techniques to execute operations simultaneously while nonetheless ensuring that their execution is equivalent to having executed the operations sequentially in the order the replicas agreed upon.
“Maintaining the Correctness of Transactional Memory Programs” This dissertation addresses the challenge of maintaining the correctness of transactional memory programs, while improving its parallelism with small transactions and relaxed isolation levels. Work supported by the Synergy-VM project.
MSc
- José Moutinho MScOctober 2027 (expected)“Graph Machine Learning na Deteção Proativa de Ciberameaças integrando Visibilidade DNS e Telemetria de Host” Coadviser: Rui Claro (Layer8)
“RedShell: A Generative AI-Based Approach to Ethical Hacking” Coadviser: Rui Claro and João Trindade
- João Lopes Tomás MScJun 2025
“Implementation of ISO 22301 and IT Business Continuity Management at VWDS: Strategies and Business Plan for Critical Scenarios” ISO 22301 implementation thesis.- Pedro Miguel Faleiro Leal Carmo Delgado MScJan 2024“A Wi-Fi Aware Mesh Overlay P2P Network” Wi-Fi aware mesh overlay P2P thesis.
- Pedro Vilela Picanço Madeira MScJan 2024“Data Storage in a Multilevel Mesh Network Setting: Using Hierarchical Organisation and Conflict-Free Replicated Data Types” Multilevel memory data storage thesis. Co-supervised (main adviser not on record).
- João Pedro Gomes Antão MScDec 2023“A Study of Data Placement and Processor Cache Prefetching in PMEM-Enabled Systems” Coadviser: João Barreto (IST-UL) This work aims to improve the horizontal and vertical scalability of a (JDBC) RDBMS using LSD (Lazy State Determination).
- Jorge Coelho MScDec 2022“Automatic Detection and Resolution of Deadlocks in GO Programs” Main adviser: António Ravara (FCT-NOVA) This work proposes NeoGoDDaR, a static analysis tool for the automatic detection and resolution of deadlocks in Go programs.
- Francisco Luis da Fonte Nunes MScJun 2022“Armazenamento Reativo e Persistente para Ambientes Mobile Edge Computing” Main adviser: Hervé Paulino (FCT-NOVA)
- Hugo Gil Azinheira Marques Pinto MScJun 2022“Controlo de Concorrência Centrado nos Dados” Main adviser: Hervé Paulino (FCT-NOVA)
“Improving Key-Value Database Scalability with LSD: Lazy State Determination” This work aims to improve the horizontal and vertical scalability of a KV-store using LSD (Lazy State Determination).
- Filipe Robalo de Luna MScJun 2022“OSCAR: A Noise Injection Framework for Testing Concurrent Software” Coadviser: Jeremy Bradbury (Ontario Tech University, CA) Design and implementation of a noise-injection tool for concurrent Java programs.
“Empowering a Relational Database with LSD: Lazy State Determination” This work aims to improve the horizontal and vertical scalability of a (JDBC) RDBMS using LSD (Lazy State Determination).
“Telecom Churn Prediction: an Approach Towards big Data” Coadviser: Marta Lopes (FCT-NOVA)- Tomás Jorge Jardim Fernandes Rodrigues da Silva MScJan 2022“Monitoring Road Traffic Rules with Spatio-Temporal Properties” Road traffic monitoring thesis. Co-supervised (main adviser not on record).
“Managing Population and Workload Imbalance in Structured Overlays” Coadviser: Hervé Paulino (FCT-NOVA)
“Conceção e Desenvolvimento de uma Aplicação iOS para Eliminação Assistida de Fotografias Semelhantes” Coadviser: Fernando Birra (FCT-NOVA) This work aims to develop an mobile application, for the iOS operating system, to help the users select and eliminate quasi-duplicated photos from the gallery of their device.
“Web-based Application for Assisted Elimination of Duplicate Photographs” Coadviser: Fernando Birra (FCT-NOVA) This work aims to develop a Web-based application to help the users select and eliminate quasi-duplicated photos from the gallery of their device.- Pedro Miguel Guerreiro Ribeiro MScJul 2021“Evaluation and Deployment of a Private Cloud Framework at DI-FCT-NOVA” Main adviser: Paulo Lopes (FCT-NOVA)
“Runtime Tracing of Low-Code Applications @ Outsystems” Coadviser: Herder Gregório (Outsystems) Work done in an industrial setting.
“Energy Optimization of OpenCV Algorithms for Android” Main adviser: Fernando Birra (FCT-NOVA) This work aims to evaluate the energetic efficiency of a selected (small) subset of the algorithms available in the port of OpenCV for the Android operating system (in particular some that are computing intensive), and optimize some of those algorithms, maybe at the expense of some precision/quality of the final result.
“Automatic Fault Localization in Concurrent Programs Using Noising and Search Strategies” Main adviser: Jeremy Bradbury (Ontario Tech University, CA) Co-adviser role.
“A Computing and Storage Server Infrastructure for a Mobile Application” Coadviser: Fernando Birra (FCT-NOVA) Grade 15/20 points. This work we plan to design and provide a server infrastructure that will be able to assist the mobile app (and the photographer) in the process of removing duplicate pho- tos, by providing services that offer features like similar image detection, image scoring and easing the process of selecting the best one that shall be kept while the others may be safely removed.
“Automated testing for provisioning systems of complex cloud products” Coadviser: Miguel João (Outsystems) Grade 18/20 points. This work addresses designing an efficient testing strategy that considers a microservices architecture with infrastructure provisioning capabilities while integrating it in a Continuous Integration (CI)/Continuous Deployment (CD) pipeline.
“Conceção e Desenvolvimento de uma Aplicação Android para Eliminação Assistida de Fotografias Repetidas” Coadviser: Fernando Birra (FCT-NOVA) Grade 17/20 points. This work proposes a software architecture to support a workflow that aims at the assisted elimination of repeated photographs.
“Uma Análise Comparativa de Ferramentas de Análise Estática para deteção de Erros de Memória” Main adviser: António Ravara (FCT-NOVA) Grade 16/20 points. This work did a comparative analysis of the effectiveness of static analysis tools in detecting memory errors in C/C++ programs.
“Suporte Aplicacional de um Workflow para Selecção Assistida de Fotografias” Coadviser: Fernando Birra (FCT-NOVA) Grade 18/20 points. This work aims at creating a workflow to help the user in the process of best photo selection, identifying which photos have less quality and may be safely deleted.
“Distributed Storage in a Cloud of Mobile Devices” Main adviser: Hervé Paulino (FCT-NOVA) Development of a distributed storage for the Edge-Cloud setting.
“Best Photo Selection” Coadviser: Fernando Birra (FCT-NOVA) This work addresses the issue of how to help the amateur photographer to select the best photo from a set of similar photos by analysing them in technical terms. The result is a novel workflow supported by a software package, guided by user input, which will allow the sorting of the similar photos accordingly to their technical characteristics (illumination and focus) and the user requirements.
“Partial Replication in Distributed Software Transactional Memory” Main adviser: Hervé Paulino (FCT-NOVA) Grade 19/20 points. This work addresses the support of partial replication in Transactional Memory. Work supported by the Synergy-VM project.
“Preventing Atomicity Violations with Contracts” Coadviser: Carla Ferreira (FCT-NOVA) Grade 20/20 points. This work aimed at proposing a methodolody for the development of mocular concurrent programs based in per-module contracts and a tool (gluon) that verifies that the applicaiton abides to the contracts. Co-advising by Prof. Carla Ferreira (DI-FCT-UNL). Work supported by the Synergy-VM project.
“Distributed Replicated Macro-Components” Coadviser: Nuno Preguiça (FCT-NOVA)
- João Martins MScJun 2013
“A Modular Distributed Transactional Memory Framework” Grade 20/20 points. This work aimed at developing a generic infrastructure for the executing of Java transactional memory prpgrams in a distributed setting. Work supported by the Synergy-VM project.
João Miguel Fernandes Bandeira Vaz MScJan 2011“Tolerância a Faltas Bizantinas em Servidores RMI” Main adviser: Nuno Preguiça (FCT-NOVA)
“TxBtrfs — A Transactional Snapshot-based File System” Grade 18/20 points. This work aimed at detecting extending the Linux kernel module that implements the BTRFS file system to support a POSIX compliant transactional file system. Work supported by the Synergy-VM project [INForum'11].
“A Framework for Scientific Computing with GPUs” Grade 19/20. This work aimed at developing a middleware for distributing scientific computations (as OpenCL kernels) over a network of nodes including CPUs and GPUs. Work supported by the RepComp project [INForum'11].
“Practical Verification of Transactional Memory Programs (in Portuguese)” Grade 19/20 points. This work aimed at detecting atomicity violation in transactional memory programs by static analysis of Java bytecode. Work supported by the Byzantium and Synergy-VM projects [ComSIS (5):2'09, PADTAD'11]
“tlCell: a Software Transactional Memory for the Cell Broadband Engine Architecture” Grade 15/20. This work aimed at supporting the offloading of memory transactions to the Cell processor. Work supported by the CITI research center.
“Speculative Execution by using Software Transactional Memory” Grade 17/20. Prototype: SpecDB - Speculative Execution of Database Queries.
“A Transactional File System Over FUSE (in Portuguese)” Grade 15/20. This work aimed at developing a transactional filesystem over the FUSE framework. Work supported by the CITI research center.
“SmART: An Application Reconfiguration Framework” Coadviser: Hervé Paulino (FCT-NOVA) Grade 18/20. This work aimed at developing a framework for the automatic configuration of applications. Work supported by the VIRTU project [CSDM'10, PADTAD'10].
“Parallel Run-Time for CO-OPN” Coadviser: Vasco Amaral (FCT-NOVA) Grade 16/20. This thesis aimed at developing a run-time that allowed the automatic parallelization of CO-OPN programs.
“Transactional File Systems” Grade 15/20. This work aimed at creating a library that would intercept the file system calls and provide a transactional API to the application, providing the classical database ACID properties.
“Cooperative Memory and Database Transactions” Grade 17/20 points. This thesis aimed at creating a unified model for memory and database transactions. Work supported by the Byzantium project [Euro-Par 2009, ComSIS 5:(2)‘08, JETC 2008].
“Consistent State Software Transactional Memory” Grade 18/20. This work aimed at creating byzantine fault-tolerant applications, through a transparent layer that supports an implicit replication mechanism for RMI. [ComSIS 5:(2)‘08, JETC 2008, PADTAD'07]. His first MSc dissertation supervised, in the pre-Bologna MSc in Computer Science.