Can't think of anything that sounds impressive and fits in 2 sentences?
His work seems to follow logically from Wittgenstein's point that a lot of philosophy comes down to the precise meanings of words.
The Chomsky hierarchy -- a method of classifying formal grammars. Seems computer science-y enough that you'll consider it as something real. http://en.wikipedia.org/wiki/Chomsky_hierarchy