TLDR: Your manager should not be bothered with this.
What you are describing is, at most, rude behavior. If I were in the position of your manager, I would be less than sympathetic.
My first question to you would be:
Have you spoken to him about it?
The next would be
What steps have you taken to resolve this conflict?
You need to deal with this, or at least attempt to, on a person to person manner. If you take this to management before having exhausted other methods, it could reflect poorly on you.
Going to your manager now could make you look weak and incompetent, there's a great difference with going to your manager with what you have now.
For reasons best known to him, he made a nasty comment about my experience in the industry. He also hijacks my conversations with other colleagues, keeps staring at me whenever I pass by their bay.
and something like.
Tom has been commenting on my experience, and has been disrupting my conversations. I have spoken to him about his conduct on The fifth, again on the twelfth and again on the 18th, and his behavior hasn't changed. Do you have any ideas how I should deal with him, or do you feel you need to get involved at this point?
Before you approach your manager, make sure you've taken steps to address the problem and resolve it. Do not use management as a means to take revenge on someone's rude behavior, or it could backfire terribly.