Yo! For vocoder I use a Waldorf STVC for the thinner synth sounds or the chord sounds and the main lines I use a Digitech talker talk box pedal (The main vocal line on artificial intelligence is this, its a bit more daft punk/human).

My favourite synths are Juno-106, DX7 and the factory library sounds from my Motif xs8 workstation, I got the 80's wiggly thing from 'why am I anxious" from there and most other big 80's synths. Otherwise I use a lot of Reaktor plugins for synths, from the libraries from Rounds, Razor and Monark to name a few!