Thoro.ai is a Carnegie Robotics spinout that uses autonomous robotics for cleaning and disinfection applications.