Carolina Carreira
Graduate Researcher @Inesc-Id
Signup · Get unlimited contacts
WORK HISTORY
Graduate Researcher @Inesc-Id
Lisboa, PT
PhD Student Research at INESC-IDI focus on the intersection of usable security and formal verification. By combining these two areas of research, I aim to contribute to the development of secure and usable systems that can meet the complex demands of modern technology.
EDUCATION
Instituto Superior Técnico
Doctor of Philosophy - PhD, Computer Science
Instituto Superior Técnico
Masters in Computer Science, Cibersecurity
Carnegie Mellon University
Doctor of Philosophy - PhD, Computer Science
Conservatório Regional de Castelo Branco
Curso Básico, Violino
Instituto Superior Técnico
Licenciatura, Engenharia Informática e de Computadores
ABOUT CAROLINA CARREIRA
I’m a PhD Student at Carnegie Mellon University in Pittsburg and in Instituto Superior Técnico in the University of Lisbon.I believe centering security research on users is crucial.My current research interests are usable security, formal verification, and password managers. Other topics of interest are De-Fi finance and its link to usable security.You can learn more about me here: carolinacarreira.github.io
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.