xxd

I think talking with his boss, your boss and HR (possibly all in one meeting) sounds like a reasonable first step. If it doesn’t work out or help, I’d try talking to him. You could get one or two coworkers as backup to come with you, just to make his personality issues less threatening. If this doesn’t work or maybe even make it worse, you could get some earplugs or ANC headphones to make it less of an issue for you. Good luck!

modern problems require modern solutions