Luiza Corpaci

I study and build certificate-backed methods for detecting semantic drift in AI-generated specifications, proofs, and other artifacts. I currently mentor research at MARS V and SPS Apart, participate in CAISH’s Hardware Assurance Program, and am completing an MSc in Data Science at TU Wien.