Todd Carpenter

Principal Scientist

At Galois, I am focused on developing techniques to make it easier to develop real-time, fault-tolerant, safe, and secure systems in military and commercial avionics, medical, and industrial domains.


Todd Carpenter has spent his career developing systems for high-value and life-critical, real-time, fault-tolerant, and secure applications in domains including medical, defense and commercial avionics, space, and petrochemicals. Several of his fielded safety-critical products have demonstrated billion-plus hours of successful safe operation.

Todd is currently engaged research and development of tools and techniques to develop safe, secure, and dependable systems built on solid foundations. He has performed detailed hardware and software design, architecture development, systems design and specification, and developed tools, standards, and processes for enhancing design flows. Todd maintains collaborative ties with industry, university and government researchers. His recent customers include DARPA, AFRL, NASA, Army DEVCOM, and DHS.

Prior to Galois, at Adventium Labs, where he was Chief Engineer and Co-Owner, his work included technology transfer programs to productize innovations, including critical infrastructure protection for industrial applications, automating task-specific, user and device interactions, and commercial integrated, highly reliable embedded systems for medical, defense, and space markets. He led technology development efforts for life-critical and security-critical dependable systems, risk assessment services, and safe-and-secure architecture design.

Prior to joining Adventium in his role as an Advisor at Guidant (now Boston Scientific) he developed system specifications, input/output processes, system partitioning, and system integration approaches for Guidant’s Latitude Patient Management System. This significant achievement was the first secure RF bedside monitoring system for implanted medical devices.

His work at Honeywell included developing integrated, highly reliable avionics systems for defense and space markets. He managed the development of a constraint-based static scheduler for flight critical avionics for the integrated modular avionics system for the Boeing 777. This multi-year project involved multiple geographically distributed teams. As a result of this successful program, he received the H. W. Sweatt award, Honeywell’s highest technical achievement award. This system has been extended to other airframes and is still in use today. Subsequent application of this scheduling technology included prototype development of a crude oil operations scheduling tool, which led to his receiving the 2000 Honeywell Technology Achievement Award. He also led the register transfer level VHDL design and synthesis of a bus interface unit for the high-speed ultra-reliable ARINC 659 standard avionics backplane protocol used on the Boeing 777, 737, and 717, as well as avionics upgrades for military aircraft.

He has a B.S. in Electrical Engineering from the University of Minnesota.