We build computational infrastructure for trustworthy automation in the broadest sense.