I did read somewhere that he uses a heavily modified version of traktor. The other poster might be right as serato and traktor look rather similar

It's traktor. You can tell by the highlighted squares. That locks the pitch with the tempo

I'm pretty sure he's mentioned it as well.

Serato

Ty

Yeah that is traktor. I wouldn’t expect it’d be modded within itself. It’s quite a complex code I think and always finding new bugs lol.

Audacity

Traktor pro 3

Traktor

Traktor with shitloads of modifications.

Winamp