This happens frequently at large corporations, where a design engineer uses either an educational or personal license on a corporate machine (or vice versa), ei

This happens frequently at large corporations, where a design engineer uses either an educational or personal license on a corporate machine (or vice versa), either out of ignorance or simply because they want to work more flexibly than they'd otherwise be allowed. IT departments don't adequately educate about it, imho, and software companies are too heavy-handed in enforcement, but regardless of all this, the student was in the wrong here and absolutely knew better than to use a pirated license.