Carolina Carreira, a Ph.D. candidate at Carnegie Mellon University and IST, focuses on usable security. Her research interests include the usability of formal methods, the human aspects of software engineering, and privacy. Additionally, she actively contributes to the community by organizing seminars and actively participating in the SIGPLAN-M.