Jroberts is right,
I think...
You may be able get a similar effect using the autotune function (I've never used it myself), and it does simulate this vocoder effect pretty well, and the guy in the video is probably using the pitch correction, so you are likely right.
But the trendy effect that was made popular by Cher that you hear on alot of top 40 recordings nowadays is usually a vocoder.
It is debated quite a bit here:
http://createdigitalmusic.com/2005/11/03/lets-kill-the-cher-believe-autotune-myth-forever-or-not/
There are also many keyboards on the market with a built in vocoder that you can use to achieve this effect. They keyboard player has a unit on top of his keyboard, but you can clearly hear his pitch bending when his hands are off the keys so he doesn't appear to be manually controlling it.
You can also hear keyboards and electronic drums when neither he or the drummer are playing as well.