Lambda the Ultimate

Harvard College 1975
First full-time systems programmer for Unix outside of Bell Labs (Harvard U. 1975-1979).
Compiler implementor and language designer since 1980
(Intermetrics, AverStar).
Lead designer of Ada 95, contributor to Ada 83 and Ada 2005.
Founder and CTO of SofCheck, Inc. since 2002.

Programming Language Design
Compiler optimization
Software verification
Safety-Critical Software
Security-Sensitive Software
Skiing, Tennis, Cycling, Masters Track (200m and 400m)