well, if i only want him get away from my life,

i have many ways to do it, including quit job and move away. I will do that sooner or later anyway, without this incidence.

But if i want to punish him for his behavior, i'll need to report to HR and police.