professor fuer informatik Synonym