Carolina Carreira is a dual-degree PhD student in Human-Computer Interaction at Carnegie Mellon University and Instituto Superior Técnico, supported by the CMU Portugal Program. Her research focuses on the intersection of usable security, software verification, and human factors in computing systems. Carolina is affiliated with the CMU Security and Privacy Institute (CyLab) and INESC-ID’s Automated Reasoning and Software Reliability Group. She has published on topics such as password manager usability, contract-based software engineering, and trusted execution environments.