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 (8)
macos8
linux8
windows8
command-line-interface6
python4
jekyll-theme3
clicking1
javascript1
Programming languages (5)
Github contributions (5)
MVBarros/Distributed-Systems-Project
Apr 2019 - May 2019
Contributions:78 commits in 1 month
carolinacarreira/carolinacarreira.github.io
Mar 2022 - Aug 2025
A beautiful, simple, clean, and responsive Jekyll theme for academics
Contributions:78 pushes in 3 years 4 months
jekyll-theme
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.