Contact Us
Contact Us

Expert 13 ADA Consultants Available

e2fdd8c4279a3d58dc6bd767cdb2bbfc 2 - Expert 13 ADA Consultants Available

Ada may not be the flashiest language in modern development, but its legacy and influence in safety-critical, high-integrity, and mission-critical systems is unmatched.

Behind Ada’s enduring strength is a passionate global community – seasoned compiler architects, pioneering language designers, formal methods researchers, embedded systems experts, and dedicated educators- who continue to push its boundaries. From early contributors to Ada 83 and 95, to those leading today’s SPARK advancements and real-time innovations, these individuals represent the best minds in Ada.

Below is a ranked list of the most impactful Ada experts and consultants, selected for their deep technical contributions, community leadership, and unwavering advocacy for reliable software engineering.

  1. Tucker Taft
  2. Roderick (Rod) Chapman
  3. Robert “Bob” Duff
  4. Grady Booch
  5. John W. McCormick
  6. Dirk Craeynest
  7. Yannick Moy
  8. Ahlan Marriott
  9. Fabien Chouteau
  10. Claire Dross
  11. Stéphane Carrez
  12. Erhard Ploedereder
  13. Jean-Pierre Rosen

Now, let’s delve deeper into their achievements and contributions.

Tucker Taft

YouTube Video

Nationality: American

Tucker led the design team for Ada 95, the first major revision of Ada.

A former Chief Scientist at Intermetrics and founder of SofCheck, he joined AdaCore and became VP of Language Research. Tucker has decades of experience in programming language design and compiler technology. He is recognized for his influence on Ada’s evolution (Ada 95 and later revisions) and continues to advance safe and reliable software through new languages and research.

Roderick (Rod) Chapman

Nationality: British

Rod is an expert in safety/security-critical software, known as a co-designer of the SPARK subset of Ada.

For many years he led the SPARK development team at Praxis (later Altran) in the UK, applying Ada/SPARK to real-world critical systems (like avionics and security devices). Now an independent consultant (Director of Protean Code Ltd.), Rod works closely with AdaCore on SPARK tools.

He frequently speaks at conferences on building high-assurance systems and has open-source contributions (e.g. SPARKNaCl cryptography).

Robert “Bob” Duff

Nationality: American

Bob is a key figure from the Ada 95 design project.

As a senior member of that team, he helped add OOP and other features to Ada and wrote large portions of the Ada 95 Reference Manual. Bob later co-chaired the Ada Rapporteur Group (ISO working group managing Ada). He has decades of compiler experience (Intermetrics, SofCheck) and joined AdaCore’s core team to implement and improve the GNAT Ada compiler.

Widely respected in the Ada community for his deep knowledge, Bob is an outspoken advocate for Ada’s design philosophy and reliability.

Grady Booch

Expert 13 ADA Consultants Available

Nationality: American

Grady is widely known as a software engineering luminary (IBM Fellow, co-creator of UML), and he was an early Ada expert.

In the 1980s, Booch wrote “Software Engineering with Ada”, a seminal textbook that introduced Ada to countless developers. He taught Ada at the U.S. Air Force Academy and other institutions, influencing how Ada was used in large systems. Grady also developed reusable Ada components (“Booch Components”) that were pioneering in software reuse.

While his career expanded into broader software architecture, Booch often advocates for Ada’s readability and reliability in high-integrity systems.

John W. McCormick

Nationality: American

John is a professor emeritus (University of Northern Iowa) renowned for bringing Ada into academia.

He has taught Ada since the 1980s and authored introductory CS textbooks using Ada, helping students learn programming with Ada’s sound engineering principles. McCormick co-wrote “Building High Integrity Applications with SPARK” to introduce formal methods to practitioners. He served as Chair of ACM SIGAda and has been a tireless advocate for using Ada/SPARK in college curricula and for teaching embedded systems.

McCormick’s influence has ensured that many young engineers get exposed to Ada’s advantages early in their training.

Dirk Craeynest

Nationality: Belgian

Dirk has been a driving force in the European Ada community for over thirty years.

Based in Belgium, he co-founded and serves as President of Ada-Belgium and is Vice-President of Ada-Europe. Dirk has worked on large Ada industrial projects since the 1990s, and he also contributes to Ada standardization (ISO WG9 committee). He organizes the Ada Developer Rooms at FOSDEM, the annual Ada-Europe conference, and SIGAda’s HILT workshops.

Craeynest’s dedication to community-building – through user groups, conferences, and publications (Ada User Journal) – has kept Ada advocacy alive and vibrant across Europe.

Yannick Moy

Expert 13 ADA Consultants Available

Nationality: French

Yannick is a leading advocate for using formal verification in industrial software.

As Head of Static Analysis at AdaCore, he leads development of the SPARK 2014 toolset for Ada, which brings sound static analysis to Ada programs. Yannick holds a PhD in program proof and has been instrumental in making formal methods accessible – he writes and speaks often about SPARK’s power for proving software correctness. He has co-authored papers and a book on SPARK and helped numerous projects (from avionics to space) apply Ada/SPARK for high assurance.

Moy’s efforts show that Ada, with SPARK, can produce provably secure and safe code.

Ahlan Marriott

Nationality: British

Ahlan is a software engineer originally from the UK who has become one of Switzerland’s leading Ada consultants.

He founded White Elephant GmbH in 2000 to provide consulting, training, and development with Ada and has used Ada in numerous embedded and industrial projects – including high-speed packaging machines (where “Ada Inside” runs many tin can production lines) and the Swiss railway control system. Ahlan has been an active Ada advocate, serving as President of Ada-Switzerland since 2004 and participating in Ada-Europe and ISO WG9 committees.

In 2015 he received ACM SIGAda’s Outstanding Ada Community Contribution award for decades of using and promoting Ada worldwide.

Fabien Chouteau

Expert 13 ADA Consultants Available

Nationality: French

Fabien is a young generation Ada expert focusing on embedded systems. He joined AdaCore in 2010 and spearheaded the Ada Drivers Library (ADL), an open-source collection of device drivers and examples that enable Ada on ARM microcontrollers. Fabien’s work has helped Ada gain traction in the IoT and hobbyist space, proving Ada’s suitability “bare-metal”.

He frequently writes on AdaCore’s blog about projects like running Ada on Arduino, the “Make with Ada” competition, and the Advent of Code in Ada.

Claire Dross

Formal methods aren’t about making life harder. They’re about building confidence that your software will behave as expected, every time.

Nationality: French

Claire  is a prominent engineer in the Ada formal methods arena.

With a PhD in program verification, she works full-time on the SPARK 2014 proof toolset at AdaCore, developing the technology that allows Ada programs to be proven free of runtime errors and vulnerabilities. Claire has contributed major features to SPARK (such as handling of pointers and memory contracts) and co-authored several academic papers advancing the state of formal verification in Ada. She also teaches SPARK to students and engineers, and regularly writes on the AdaCore blog about advanced SPARK topics (contracts, memory safety, etc.).

Dross exemplifies the new wave of Ada experts who are blending computer science research with practical tool development to push Ada into the future of software correctness.

Stephane Carrez

Expert 13 ADA Consultants Available

Nationality: French

Stéphane is a French software engineer who has built a variety of open-source projects in Ada.

He won the inaugural “Make with Ada” contest (2016) with his EtherScope, an Ada-powered Ethernet traffic analyzer running on an ARM Cortex-M7 board. Stéphane has contributed Ada libraries for embedded networking (IPv4/UDP stack), web applications, and more. “I’ve been using Ada for several years on a variety of Open Source projects,” he noted upon winning. His work shows Ada’s capability on bare-metal and resource-constrained devices.

Carrez is also active on GitHub (Ada Web Application framework, Ada Util, etc.) and continues to demonstrate inventiveness and dependability in Ada software, inspiring the community of hobbyists and professionals alike.

Erhard Ploedereder

Nationality: German

Erhard is a German computer scientist who has played an essential role in Ada language maintenance and evolution.

He served as head of the Ada 9X Distinguished Reviewers in the 1990s and then as longstanding chair of the Ada Rapporteur Group (ARG), guiding the technical work for Ada 95 and 2005 standards. He also chaired ISO WG9 (Ada’s international working group) and helped shape Ada’s safety and security annexes. Erhard, a professor at Universität Stuttgart, has published on Ada, and in the 1980s he helped design the CAIS standard for Ada programming support environments. For his detailed, behind-the-scenes contributions, he received the SIGAda Outstanding Achievement Award in 2000.

Ploedereder’s leadership ensured Ada’s continued relevance and technical excellence through multiple revisions.

Jean-Pierre Rosen

Expert 13 ADA Consultants Available

Nationality: French

Jean-Pierre is a veteran Ada expert who has been teaching and consulting since Ada’s earliest days.

He started with Ada in 1979 (pre-standard) and later founded Adalog in 1985, a Paris-based company dedicated to Ada training, consultancy, and development. Jean-Pierre has taught Ada to thousands of engineers, covering topics from basic language use to advanced software engineering methods. He developed tools like AdaControl (static analysis) and was active in the Ada-France association. Rosen has also been a member of the SIGAda community (he received the ACM SIGAda Distinguished Service Award).

His passion for Ada’s software engineering benefits – and his ability to convey them in classrooms and tutorials – has made him one of the most respected Ada consultants in industry.

Wrap Up

These legends represent exceptional talent, making them extremely challenging to headhunt. However, there are thousands of other highly skilled IT professionals available to hire with our help. Contact us, and we will be happy to discuss your hiring needs.

Note: We’ve dedicated significant time and effort to creating and verifying this curated list of top talent. If you intend to share or make use of it in any way, we kindly ask that you include a backlink to the original source – EchoGlobal.

Ready to get started?