Andreea Buterchi received her MSc and BSc degrees in Advanced Studies in Computer Science from the “Alexandru Ioan Cuza” University of Iasi, Romania. She is currently the VP of Engineering at Veridise, and her professional and research interests focus on securing the blockchain ecosystem using formal methods. In the past, Andreea held research and internship positions at the Max Planck Institute for Software Systems and Amazon, working on formal methods and data analysis projects.