About Me
I'm a CMU-Portugal dual-degree Software Engineering PhD candidate at the ABLE group, Software and Society Systems Department (S3D), Carnegie Mellon University and at the Distributed, Parallel and Secure Systems group of INESC-ID, Instituto Superior Técnico, University of Lisbon. I'm kindly advised by professors David Garlan and Paolo Romano.
I received my BSc. (2016) and MSc. (2018) in Electrical and Computer Engineering from Instituto Superior Técnico, with a major in Computers and a minor in Systems, Decision and Control. As part of my PhD program, I also received a MSc. in Software Engineering from Carnegie Mellon University (2022).
My research interests include cloud optimization, machine learning, and self-adaptive systems.
Publications
Information also available from my Google Scholar profile.
-
Self-Adapting Machine Learning-based Systems via a
Probabilistic Model Checking FrameworkTAAS 2024 - ACM Transactions on Autonomous and Adaptive Systems
-
HyperJump: Accelerating HyperBand via Risk Modelling
AAAI 2023 - Proceedings of the AAAI Conference on Artificial Intelligence
-
Towards a Framework for Adapting Machine Learning Components
ACSOS 2022 - IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)
-
A Probabilistic Model Checking Approach to Self-Adapting
Machine Learning SystemsASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem DEvelopment, Co-located with SEFM 2021
-
Self-adaptive Machine Learning Systems:
Research Challenges and OpportunitiesECSA 2021 Tracks and Workshops, Revised Selected Papers
-
Self-Adaptation for Machine Learning Based Systems
SAML 2021 - 1st International Workshop on Software Architecture and Machine Learning, Co-located with ECSA 2021
-
TrimTuner: Efficient Optimization of Machine Learning Jobs in the Cloud
via Sub-SamplingIEEE MASCOTS 2020 - IEEE Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems
-
A Quest for Inspiration: How Users Create and Reuse PINs
WAY 2020 - Who Are You?! Adventures in Authentication Workshop 2020
-
Lynceus: Cost-efficient Tuning and Provisioning of Data Analytic Jobs
ICDCS 2020 - 40th IEEE International Conference on Distributed Computing Systems
-
Reduzindo o Custo de Explorar Configurações para Execução de
Aplicações na NuvemINForum 2018 - Atas do Décimo Simpósio de Informática
MSc. Thesis
-
Lynceus: Long-Sighted, Budget-Aware Online Tunning of Cloud Applications
IST, University of Lisbon, November 2018
Experience
-
Research collaboration
May 2022 - Present- Created a self-adaptive machine translation system that automatically determines whether to fine-tune the machine translation model.
-
Research intern
May 2021 - July 2021- Worked on the problem of real-time performance monitoring for credit/debit card fraud detection systems. Specifically, on how to evaluate the quality of the fraud detetcion model in the absence of ground truth labels for the credit/debit card transactions.
- Related article on AI Observability.
-
Teaching assistant
August 2022 - December 2022
- 17-614 Formal Methods
- 17-624 Advanced Formal Methods
May 2022 - July 2022
- IAC: Introduction to computer architectures
-
DPSS Researcher
September 2017 - Present