Alex, he probably (note PROBABLY) used a combination of the following:
Either Final Cut Pro or Adobe Premiere
Either Motion or Adobe After Effects w/ Plugins
3DSMAX
Adobe Photoshop
and maybe some stuff like Digital Juice or something like that. Possibly Adobe Illustrator for some Vector drawing? Dunno. Email him I guess!