Texas Tech University, Department of Computer Science
TTU Home Whitacre College of Engineering Computer Science Alumni External Advisory Board Matt Barry

Matt Barry, Ph.D.


Company: Kestrel Technology LLC
Location: Houston, TX
Email: mrb@softisms.com

Short Biography

Dr. Matt Barry is a principal investigator in software verification activities for Kestrel Technology. He has over 25 years of experience working in NASA programs in human spaceflight, robotic exploration, and aeronautics.

Barry studied computational fluid dynamics at Rice University, starting his work career with 10 years of Mission Control duty for operating Space Shuttle propulsion systems. He was responsible for developing the first workstation-based real-time analysis and decision support software for Space Shuttle mission operations propulsion systems, and designed, implemented, and tested the real-time middleware and server software for the workstation-based Mission Control Center. That role led him to pursue applied R&D relationships with several faculty members now at Texas Tech.

Following mission operations, he directed the Advanced Technology Development program for Space Shuttle and International Space Station mission operations at United Space Alliance, developing a variety of advanced software applications and hardware test and verification equipment for these programs. Barry then served as deputy manager of the Mission Software, Computing, and Networking program office at the Jet Propulsion Laboratory, and was later appointed the Program Director for Destination Surface Systems in the nascent Exploration Systems office at NASA Headquarters, also serving there as the Program Manager for the Constellation Program's Concept Exploration and Refinement effort. He then led the software and avionics systems engineering group in the Constellation program office.

Recently, he was the Principal Investigator at Kestrel Technology for the company's Failsafe software health management product development for NASA, its CertWare safety case workbench product development effort for NASA, and is now the PI for the CircuitBot crowd-sourced formal verification project for DARPA -- an effort which includes Texas Tech Department of Computer Science participation.

Barry holds B.S.M.E., M.S., Ph.D., and MBA degrees from Rice University, and holds certificates in program management and strategic decision and risk management from Stanford University. He is a licensed Professional Engineer in Texas, and is a Chartered Alternative Investment Advisor. Barry is a part-time consultant in software architecture and engineering, an officer in a private equity partnership, and a registered investment advisor.