Carolina Carreira, with a strong background in Informatics and Computer Engineering from the University of Lisbon's Instituto Superior Técnico (IST), is currently pursuing a dual Ph.D. degree through the CMU Portugal program, studying at IST and Carnegie Mellon University (CMU) under advisors João F. Ferreira, Alexandra Mendes, and Nicolas Christin. Her research at CMU focuses on usable security, particularly understanding how users communicate and understand systems. Her background is particularly fitting for the VeriFixer project. In more detail, her experience can be especially helpful in conducting user studies to detect suspicious code segments, apply template patches, and replace these with synthesized repair code until the software meets its specifications. This effort includes evaluating the developed tools using Dafny, a programming language designed for formal verification, and conducting user studies to compare the efficiency of automated repairs with manual approaches. Our goal with this project is to enhance software reliability and security, contributing to the field by making the developed tools open source for industry adoption and further research.