His research interests are in safety validation and testing, decision-making systems, machine learning, and controls. Of particular interest is developing algorithmic tools for the design and analysis of safety-critical cyber-physical systems including aircraft collision avoidance systems, air traffic automation, autonomous ground vehicles, and unmanned aerial systems (UASs).
Ritchie holds a Ph.D. degree in Electrical and Computer Engineering from Carnegie Mellon University, an M.S. degree in Aeronautics and Astronautics Engineering from Stanford University, and a B.S. degree in Electrical Engineering from University of Waterloo.