There is more information available on this subject at Michael Salvatori on the English Wikipedia.
Michael Salvatori is an American producer and composer of music. He has worked closely with Martin O'Donnell to produce the music of the Halo series. Salvatori is also working with O'Donnell to produce the soundtrack to Destiny.