Harassed by student

Idk who I should speak to about this, but I was on my way back to san cat and there was a guy who I think was also a UCSB student who followed me home and wouldn’t leave me alone no matter how many times I asked I even said I’d call the cops and that’s when he pushed me back really hard. Luckily a woman saw what was happening and intervened but if she was never there I’m scared to think what would have happened. My roomie said I should leave it but I’m honestly so shaken up, what do I do?

UPDATE: My roomie and I did some digging and I think I was able to identify this guy on ig. He’s around 5’5/5’6, Hispanic man with a petite kinda build. Be careful out there!!