

“I reported this to the campus police but they said nothing could be done because he didn’t touch me or explicitly threaten violence”
That sounds like assault which doesn’t require contact.
"In the terminology of law, an assault is the act of causing physical harm or unwanted physical contact to another person,…
…, assault is a criminal act in which a person intentionally causes fear of physical harm or offensive contact to another person"

@rook
Peter should go back to PDF manipulation libraries.