Debian works too, it really doesn’t matter as long as its not windows and google Chromebook crap.

Linux distros aren’t all made the same, but they’re all pretty much the same in spirit. Tux is universal.

I personally think that Pop!OS is a user friendly distro that would be an easy introduction to Linux for students while also focusing on privacy and security with less clutter.