Carolina Carreira | VeriFixer Projecthttps://verifixer.github.io/author/carolina-carreira/Carolina CarreiraHugo Blox Builder (https://hugoblox.com)en-usSun, 07 Sep 2025 00:00:00 +0000https://verifixer.github.io/author/carolina-carreira/avatar_hu15367801822147441478.jpgCarolina Carreirahttps://verifixer.github.io/author/carolina-carreira/Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafnyhttps://verifixer.github.io/publication/2025/sefm_dafnystudy/Sun, 07 Sep 2025 00:00:00 +0000https://verifixer.github.io/publication/2025/sefm_dafnystudy/Carolina Carreirahttps://verifixer.github.io/author/carolina-carreira/Sun, 07 Sep 2025 00:00:00 +0000https://verifixer.github.io/author/carolina-carreira/<p>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&rsquo;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.</p>What Challenges do Developer Face when using Verification-Aware Languages?https://verifixer.github.io/publication/2025/issre/Sun, 20 Jul 2025 00:00:00 +0000https://verifixer.github.io/publication/2025/issre/Contract Usage and Evolution in Android Mobile Applicationshttps://verifixer.github.io/publication/2025/ecoop/Fri, 28 Feb 2025 00:00:00 +0000https://verifixer.github.io/publication/2025/ecoop/