ken thompson has not been awarded any trophies yet.