It's very good text-to-speech synthesis. The voice sounds similar to "Mike" from http://www.naturalreaders.com But I cannot be certain.
I know Ivona has a phonetic markup language, so it's possible that the reason the video sounds so good is that someone has spent a lot of time tweaking it to get rid of any mispronunciations and misplaced inflexions.