This sound like the best thing to do. Just ignore him and move on, try not to waste any more energy on him. If put in the same room as him, don’t interact with him. If he starts talking with you, try explaining that you do not want to talk with him and just keep ignoring. Never give a bully a reaction.