I would recommend he studies Haskell, which has been called: "executable maths" In that stack his previous experience is extremely valuable and will make his learning path a lot easier.

For web development he can start with IHP framework and for deployment NixOS.