Separating official professors and users

We don't want professors who happen to be users to be able to change
information about their 'official professor' record (so store them in
separate tables).