Those honored include faculty, alumni and others with connections to Princeton’s history. The new room names were based on ...