Charles Lindsay, programa AIR del institut SETI