Since he brought up he may have been in the wrong place being in the math department, did he ever actually try to switch to the CS department?
You sometimes see CS professors who have degrees in pure math just browsing different department's websites.