Both the professor and the student are free to file charges.
I hope they do and don’t let the university sweep this under the rug. Not that they can at this point.
Most students and/or professors would just let the university handle it but if they are smart they will go down to the county courthouse and file charges down there.
Once when I was in class I felt threatened by some female jocks and I let it be known that if I filed charges it would not be with the university it would be with the county. Their little butts would be sitting down in lock up and the university could come bail them out but they would still have to answer to charges and I would not back down. The university may pay for their lawyer but still sharks like that run $$$$$ for the hour.
I take sh!t from no one.
As long as they don’t expect media coverage.