Really? I can link you to about a million CS papers that do not mention formal math. And incidentally, this work is easy to apply directly to my day-to-day work as a practicing programmer.

(Some would say that means it's not academic enough... but you get the "Dr." title, so...)