i·ro·ny /ˈīrənē/ noun noun: irony
the expression of one's meaning by using language that normally signifies the opposite, typically for humorous or emphatic effect.
His contributions to linguistics lead to a technical revolution in the computer industry that did more to drive a nail into the coffin of communism and insure that captalism - which he despises - will continue long past his life time inspite of all his efforts.
That is both recursive and ironic.
I have little doubt that it doesn't escape him and that it has driven him nuts!
google LALR(1)
He will spend the rest of his life trying to put the toothpaste back in the tub!