Margarida Ferreira
Computer Scientist at Carnegie Mellon University
Pittsburgh, Pennsylvania, United States
Summary
👤
Senior🎓
Top SchoolMargarida Ferreira is a computer scientist and PhD student at Carnegie Mellon and Técnico Lisboa with eight years of research and industry experience in automated reasoning and program synthesis. She applies formal methods and SMT techniques to practical networking and security problems, notably reverse-engineering congestion control algorithms and automatically optimizing firewall rulesets. Her experience spans research labs and multiple Applied Scientist internships at AWS, plus teaching AI and algorithms, reflecting a strong ability to translate theory into deployable solutions. Unusually, her work combines synthesis-driven reverse engineering with optimization for real-world network behavior, bridging academic rigor with production-focused impact.
8 years of coding experience
3 years of employment as a software developer
1 year as exchange student in MSc. Informatics, 1 year as exchange student in MSc. Informatics at Technical University of MunichDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Carnegie Mellon UniversityDoctor of Philosophy - PhD Computer Science and Engineering, Doctor of Philosophy - PhD Computer Science and Engineering at Instituto Superior Técnico
English, Portuguese, French, German, Spanish
Github Skills (1)
theorem9
Programming languages (1)
Github contributions (5)
Marghrid/Cooperative-Path-Finding
Dec 2017 - Jul 2019
Contributions:391 commits, 2 pushes in 1 year 6 months
Marghrid/Robot-Motion-Planning
Jul 2019 - Aug 2023
Contributions:10 pushes, 1 branch in 4 years 2 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.