Hawking developped these two main insights:
** Bh radiation. Using classic QM he proved bh's radiate, losing mass, something establiished experimental later. Later a young Italian physicist prove his hypothesis further.
** No boundary proposal. He integrated a Riemanian plus later time Minkoskiam spacetime to avoid insoluble early universe cosmologies, in his work with Hurtle. The theory has predictions and is an active area of research i.e
I know a guy who is trying to remove some infinities that present further solutions