Gravel Pedals (Road vs Mountain)

If he wants to stay with flat pedals (not clipped in) then go with some composite pedals with metal pins and get some nice sticky shoes that are meant for mtb flat pedals.

Flat Pedal Options:
Raceface Chesters
One up Components

Flat Shoes:
Fiveten
Specialized 2FO

He could also get clipless pedals (that you clip into. I know very confusing).

Clipless Pedals:
Shimano M520
Crankbrothers Candy

Clipless Shoes:
Almost any brand makes some decent budget options. Just be sure to get one with 2-hole cleat attachments.