stragu
Unfortunately, this is an issue with the renderer prioritising some data over other data.

Notes are for reporting mapping issues, so if you want to report something against the default renderer itself (Mapnik), you will have to got to https://github.com/gravitystorm/openstreetmap-carto
The prioritising of university building names over other amenities could make sense, but I suspect it will be difficult to motivate the developers to do something about such a specific case.

Thank you for your note.