He might have a look at NAND2tetris and see if that grabs his interest.

Arduinos are also fun.