answer:I would mention it to a dean or the campus police (or whoever the appropriate person is), without using the words “harrassment” or “assault.” Be descriptive, but do get it on record. If he accosts you again, you can mention that you have reported the incident to Dean X or Sergeant Y,