Margarida Ferreira is a Computer Science PhD student at Carnegie Mellon University and Instituto Superior Técnico, University of Lisbon, under a CMU-Portugal Dual Degree Fellowship. She is also a Junior Researcher at INESC-ID. She is interested in automated reasoning and program synthesis, particularly their application to complex networked systems, and her PhD research focuses on automatically generating correct implementations of stateful programs based on noisy and/or incomplete execution traces. During her PhD, she worked on using SMT and program synthesis to reverse engineering congestion control on the Web based on noisy packet traces collected from an Internet connection, helping users uncover the behavior of closed-source algorithms. The work on using program synthesis to reverse-engineer congestion control resulted in two publications at ACM HotNets 2021 (ERA ranking A) and ACM IMC 2024 (CORE ranking A). Margarida also worked on using syntax-guided program synthesis to generate Amazon Web Services (AWS) Cloud automation scripts based on traces of users performing variations of tasks using AWS's manual interface, allowing them to automate repetitive tasks. The synthesis method used to generate Cloud automation scrips is described in a paper currently under submission at PLDI 2025 (CORE ranking A*). She previously earned a Master's Degree in 2020 and a Bachelor's Degree in 2018 in Computer Science from Instituto Superior Técnico, University of Lisbon. For her Master's thesis, she developed a program synthesis approach to automatically generate form validation regular expressions from examples of accepted values in collaboration with OutSystems. The regular expressions synthesizer is published at TACAS 2021 (CORE ranking A). She was awarded academic excellence certificates in all years of the BSc and the last year of the MSc at Técnico, and she was a Calouste Gulbenkian New Talents Fellow in the last year of my Bachelor's Degree.