Lambda the Ultimate

Emeritus professor of Philosophy -- logic, phil. of language
also taught computer science for 13 years.

Formal languages -- for logic and for software. Functional programming.