What should I do?

My daughter 15 was inappropriately touched by a boy at school and she came him crying and shaken. I have written a mail to her principal and waiting on he reply. What do you all think we should do further? Will they take it seriously? I don’t want that boy to get away cause such behaviors if not checked can get encouraged n bigger damage can be done to someone else. I had no one to talk to about this so sharing it here. Plz suggest.