Carolina Carreira
Graduate Researcher
Pittsburgh, Pennsylvania, United States
Summary
👤
Senior🎓
Top SchoolCarolina Carreira is a PhD student and graduate researcher split between Carnegie Mellon University and Instituto Superior Técnico, specializing in the intersection of usable security and formal verification with a focus on password managers. With eight years of experience spanning research, teaching, and industry internships, she blends rigorous formal methods with human-centered security design to make verification practical for end users. Her work on the PassCert project and contributions to usable security research reflect an interest in how emerging domains like DeFi interact with user security. She also brings hands-on implementation experience from SSO, web stacks, and backend development, and uniquely pairs technical depth with a background in violin studies, highlighting a disciplined, detail-oriented approach to problem solving.
8 years of coding experience
Curso Básico, Violino, Curso Básico, Violino at Conservatório Regional de Castelo BrancoDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Carnegie Mellon UniversityLicenciatura, Engenharia Informática e de Computadores, Licenciatura, Engenharia Informática e de Computadores at Instituto Superior Técnico
English, Portuguese, Spanish
Github Skills (23)
messenger9
signal9
linux9
chat9
macos8
lxml8
extraction8
windows8
electron7
python-requests7
warc7
command-line-interface6
cli5
command-line-tool5
python5
Programming languages (5)
Github contributions (5)
MVBarros/Distributed-Systems-Project
Apr 2019 - May 2019
Contributions:78 commits in 1 month
ashishpapanai/ashishpapanai.github.io
Mar 2022 - Dec 2022
Contributions:50 commits in 8 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.