Quote:
Just talk to him in private and explain what it is that bugs you so much. If he still does not improve, I suggest you talk to his boss about this.
I think the best advice is to handle the situation right when it happens (say something C&F, or just give a "What are you doing?" look). This will condition him to not feel good about doing it, and hopefully stop.
Talking in private should be a second resort. He still may deny it, so I would revert back to step 1 (C&F).
I think bringing a boss into the situation will make things a lot worse. If he gets disciplined, that will just give him more fuel to put you down with, and this time it is warranted. If he gets fired, the people that like him will probably hate you. But most likely, the boss will do nothing, and he will still have more fuel to put you down with. Also, your boss will think you can't handle simple disputes with peers, which is a bad thing.
So handle the situation on your own. Don't be a tattle tale.