At UCSD we not only got a public IPv4 address for each device but also an automatic *.dynamic.ucsd.edu subdomain assignment based on the device hostname. Came in handy for my Raspberry Pi.
Yep, that's the way it's traditionally been at MIT as well. The DHCP hosts get things like DHCP-ipaddressspelledoutinenglish.mit.edu. The fear is that it's all going away.