AeroLeads people directory · profile
M. Anthony Aiello Email & Phone Number
Product Manager
at
AdaCore
1 work email found
@adacore.com
LinkedIn matched
✓ Verified May 2026
4 data sources
Profile completeness 100%
Current company
Role
Product Manager
Location
Charlottesville, Virginia, United States
Company size
Who is M. Anthony Aiello? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
M. Anthony Aiello is listed as Product Manager at AdaCore, a company with 152 employees, based in Charlottesville, Virginia, United States. AeroLeads shows a work email signal at adacore.com and a matched LinkedIn profile for M. Anthony Aiello.
M. Anthony Aiello previously worked as Head of Product and Innovation at Adacore and Technology Strategist at Adacore. M. Anthony Aiello holds M.Cs., Computer Science from University Of Virginia.
Company email context
Email format at AdaCore
This section adds company-level context without repeating M. Anthony Aiello's masked contact details.
{last}@adacore.com
89% confidence
AeroLeads found 1 current-domain work email signal for M. Anthony Aiello. Compare company email patterns before reaching out.
Profile bio
About M. Anthony Aiello
I am a dedicated engineer, researcher, manager and team leader. I excel at communication, coordination, strategy, decision making, and building and motivating teams. I am comfortable focusing my attention both inward - interfacing with engineering, marketing, sales, and top management - and outward - interfacing with customers and other external stakeholders. Communication and coordination motivate me to reach for and solve hard problems. I thrive on and excel at making connections and reaching decisions through interactions with my teammates. I am most interested, currently, in identifying near-term solutions to existing problems and working to develop products that realize those solutions. My current work at AdaCore fits this interest perfectly: I am Head of Product and Innovation, Product Manager for three of AdaCore's products - SPARK Pro, RecordFlux, and GNAT Pro for Rust, and a member of AdaCore’s machine-learning working group. I am also deeply interested and invested in building a positive culture in my teams and within my organization; I currently serve as interim lead of AdaCore’s inclusion and diversity working group. My background encompasses development, formal methods, risk analysis, system safety, certification, rigorous argumentation, and machine learning. I have worked with the aerospace, defense, and automotive sectors, interacting with both civilian and military experts.
Listed skills include Project Management, Ruby, Javascript, System Safety, and 15 others.
Current workplace
M. Anthony Aiello's current company
Company context helps verify the profile and gives searchers a useful next step.
Adacore
8 roles
M. Anthony Aiello work experience
A career timeline built from the work history available for this profile.
Head Of Product And Innovation
Current
Apr 2024 - Present
Product Manager
CurrentI became Product Manager for QGen in November, 2021 at the same time as I began leading the QGen development team. Following the end of the QGen product in May, 2023, I became Product Manager for SPARK Pro, GNAT Pro for Rust, and RecordFlux.SPARK Pro is an established product at AdaCore. In my role as Product Manager, I am focusing on improving our.
Nov 2021 - Present
Technology Strategist
Current
Adacore
I joined AdaCore in April 2018, where I led the development of tools supporting System-to-Software Integrity, led the application of an argument-centric approach based on the overarching properties to qualification of a code generator (QGen) for use in the development of DO-178C Level A software, and lead US-based research activities. I was principal.
Apr 2018 - Present
Software Development Team Lead - Qgen
I began leading the QGen development team at AdaCore in November of 2021, taking the reins from the previous leadership team. My objectives were: to focus the team's efforts through more thorough application of scrum-based project management; to coordinate the activities of our team with our external contractor's team; and to ensure that AdaCore's top.
Nov 2021 - May 2023
Principal Scientist And President
Dependable Computing, Llc
I was a Principal Scientist at Dependable Computing from 2010 to 2018 and President of Dependable Computing from 2017 to 2018.While at Dependable Computing, I was co-principal investigator on a NASA NRA that developed CLASS, the Comprehensive Lifecycle for Assuring System Safety. I also supported a NASA NRA in which Dependable Computing explored the.
Oct 2010 - Apr 2018
Research Engineer
I was involved in many projects related to dependability at Barron Associates. Iwas principal investigator of a NASA aviation-safety-related Phase I SBIR that examined the application of the assurance case to NextGen systems of systems and was author of the winning Phase II proposal for the same topic. Under an Air Force Phase II SBIR project that explored.
May 2006 - Oct 2010
Research Associate
- Prototyped a distributed, reconfigurable avionics architecture.
- Implemented the prototype in Java, based on a PVS specification.
- Deployed the prototype on a distributed, Linux-based platform. Member of the development team for Galileo, a tool for Probabilistic Risk Assessment.
- Wrote parts of the user interface and parts of the analysis engine.
- Lead a major refactoring effort to improve code quality and ease maintenance.
- Project Build Master: designed checkin procedures, managed the configuration management system, and ensured that the system passed its regression tests each night.
Sep 2005 - May 2006
Team & coworkers
Colleagues at AdaCore
Other employees you can reach at adacore.com. View company contacts for 152 employees →
MR
Maxim Reznik
Colleague at AdacoreUkraine, Ukraine
View →
RW
Rowan Walshe
Colleague at AdacoreBath, England, United Kingdom, United Kingdom
View →
MF
Michael Frank
Colleague at AdacoreCranston, Rhode Island, United States, United States
View →
VG
Vadim Godunko
Colleague at AdacoreBol’shoy Log, Rostov, Russia, Russian Federation
View →
PR
Prue Rouru
Colleague at AdacoreGreater Melbourne Area, Australia
View →
JK
Johannes Kanig
Colleague at AdacoreGreater Paris Metropolitan Region, France
View →
PK
Patrick K.
Colleague at AdacoreMorrisville, Pennsylvania, United States, United States
View →
AM
Antoine Meunier
Colleague at AdacoreGreater Paris Metropolitan Region, France
View →
ES
Ed Schonberg
Colleague at AdacoreNew York, New York, United States, United States
View →
ES
Edith Schonberg
Colleague at AdacoreNew York, New York, United States, United States
View →
Maxim Reznik
Colleague at AdacoreUkraine, Ukraine
View →
RW
Rowan Walshe
Colleague at AdacoreBath, England, United Kingdom, United Kingdom
View →
MF
Michael Frank
Colleague at AdacoreCranston, Rhode Island, United States, United States
View →
VG
Vadim Godunko
Colleague at AdacoreBol’shoy Log, Rostov, Russia, Russian Federation
View →
PR
Prue Rouru
Colleague at AdacoreGreater Melbourne Area, Australia
View →
JK
Johannes Kanig
Colleague at AdacoreGreater Paris Metropolitan Region, France
View →
PK
Patrick K.
Colleague at AdacoreMorrisville, Pennsylvania, United States, United States
View →
AM
Antoine Meunier
Colleague at AdacoreGreater Paris Metropolitan Region, France
View →
ES
Ed Schonberg
Colleague at AdacoreNew York, New York, United States, United States
View →
ES
Edith Schonberg
Colleague at AdacoreNew York, New York, United States, United States
View →
2 education records
M. Anthony Aiello education
M.Cs., Computer Science
Bs, Computer Science
FAQ
Frequently asked questions about M. Anthony Aiello
Quick answers generated from the profile data available on this page.
What company does M. Anthony Aiello work for?
M. Anthony Aiello works for AdaCore.
What is M. Anthony Aiello's role at AdaCore?
M. Anthony Aiello is listed as Product Manager at AdaCore.
What is M. Anthony Aiello's email address?
AeroLeads has found 1 work email signal at @adacore.com for M. Anthony Aiello at AdaCore.
Where is M. Anthony Aiello based?
M. Anthony Aiello is based in Charlottesville, Virginia, United States while working with AdaCore.
What companies has M. Anthony Aiello worked for?
M. Anthony Aiello has worked for Adacore, Dependable Computing, Llc, Barron Associates, Inc., and University Of Virginia.
Who are M. Anthony Aiello's colleagues at AdaCore?
M. Anthony Aiello's colleagues at AdaCore include Maxim Reznik, Rowan Walshe, Michael Frank, Vadim Godunko, and Prue Rouru.
How can I contact M. Anthony Aiello?
You can use AeroLeads to view verified contact signals for M. Anthony Aiello at AdaCore, including work email, phone, and LinkedIn data when available.
What schools did M. Anthony Aiello attend?
M. Anthony Aiello holds M.Cs., Computer Science from University Of Virginia.
What skills is M. Anthony Aiello known for?
M. Anthony Aiello is listed with skills including Project Management, Ruby, Javascript, System Safety, C++, Pvs, Java, and Eclipse.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the M. Anthony Aiello you were looking for.
Anthony M. Aiello
1 email domain
Anthony M Aiello, MBA, CFIRS, CCTS
1 email domain