Lambda the Ultimate

Have participated as a principal in the creation of various computer algebra systems and their associated languages, including Maple, Axiom and Aldor, and various data languages, including MathML, OpenMath and InkML.

Computer algebra. Programming languages and compilers. Type systems. Generics/templates/higher order functions. A million other things.