My suggestion would be to get a new/used PC laptop w/ minimum i7/32gb-ram/nvidia-gpu/1-tb-ssd. Other specs are all about personal choice (screen, weight, battery life, etc.), but with these minimums, you can run a host os of your choice (win10 or win11, linux) and virtualization on top of that (virtualbox, etc.). PC over Apple to avoid any proprietary issues (os, ports, cords, etc.) and to enable the most compatability with who knows what the student will want to do later.
Virtualization is important to keep the host os from being polluted with massive amounts of programming and other software ... just create vm's to hold all the project work, and keep all projects separate, from each other and from host os.
So much software is interwoven into the host os upon install, and can't ever really be sorted out again if installed that way. If kept in vm's (compiling environment, other EE special-purpose environments), one issue in one vm won't take down the OS.
Backups are now easier, because it's a simple/clean host os, and multiple vm's ... without the above, one os ends up with millions of files, and backups take forever (even on fast hardware) and take up more space.
If weight does become an issue, and I run a Dell laptop w/ above specs and weighs 5 lb's (used from Ebay, about $300), also get a reMarkable tablet & keyboard ... take these to class for notes/drawings/reading (super lightweight, small), but use the laptop for heavy computing (fully replaces a desktop) back at the dorm or wherever home is.
Hope this helps ...