M Aiello
Product Manager at AdaCore
Charlottesville, Virginia, United States
Summary
👤
Senior🎓
Top SchoolM Aiello is a product leader and technologist with 10+ years building safety-critical software tools and leading cross-functional teams at AdaCore, where he heads Product and Innovation and manages SPARK Pro, RecordFlux, and GNAT Pro for Rust. He combines hands-on engineering and formal-methods expertise with experience in aerospace, defense, and automotive sectors to turn rigorous assurance arguments and machine‑learning research into practical product roadmaps and customer-facing solutions. Known for clear communication and pragmatic strategy, he bridges engineering, marketing, sales, and external stakeholders to drive launches and qualify complex tools (including work on QGen and system-to-software integrity projects). He also invests in team culture and inclusion, serving as interim lead of AdaCore’s inclusion and diversity group, and continues to lead US research contracts applying SPARK enhancements to autonomy frameworks like OpenUxAS.
10 years of coding experience
14 years of employment as a software developer
M.Cs., Computer Science, M.Cs., Computer Science at University of Virginia
Stackoverflow
1,074reputation
52kreached
8answers
7questions
Github Skills (55)
automated-build10
ansible-collections9
decision-making9
specification9
ada9
yang8
portable8
requirements-management7
tla7
quality-assurance7
perf7
checker7
risk-assessment7
eclipse6
readline6
Programming languages (6)
Github contributions (5)
AdaCore/OpenUxAS
Aug 2020 - Mar 2022
Project for multi-UAV cooperative decision making
Contributions:5 reviews, 37 PRs, 61 pushes in 1 year 7 months
decision-makingcooperativeuavdecision
AdaCore/LmcpGen
Jul 2019 - Oct 2021
Project to auto-create libraries adhering to the LMCP specification
Contributions:6 PRs, 8 pushes, 3 branches in 2 years 3 months
specification
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.