Check wiht the Engineering Department at uni.
They may have a recommended laptop and accompanying software recommendations suitable for the classes he will be taking.
And they may also have some discount program available if the laptop is purchased via the uni.
Worth asking....