M. Anthony Aiello

M. Anthony Aiello is an experienced professional in the fields of product management and technology strategy, currently serving as the Head of Product and Innovation at AdaCore since April 2018. In this role, Aiello has taken on multiple responsibilities, including leading the QGen development team as Product Manager starting in November 2021, and transitioning to manage SPARK Pro, GNAT Pro for Rust, and RecordFlux after the conclusion of the QGen project in May 2023. Aiello's prior experience includes serving as Principal Scientist and President at Dependable Computing, where contributions included co-principal investigator on a NASA project focused on system safety, and as Research Engineer at Barron Associates, involved in safety-related projects for NASA. Academic credentials include a Master of Computer Science and a Bachelor of Computer Science, both from the University of Virginia.