Claire J. Tomlin

Tomlin has developed the reachability toolbox, which efficiently computes all configurations that an autonomous system can reach. She has applied the tools to the task of automating collision avoidance between aircraft, with NASA Ames, Honeywell and Boeing; to the design of safe platooning of heavy trucks, with Scania; and to critical infrastructures such as unmanned air vehicle traffic (UAV) management, where Tomlin was the first to develop protocols for self-separation of UAVs. Her work in reachability has formed the basis of Safe AI, in which a system automatically learns operational and control objectives from data while maintaining safety.