Chairman and CTO, SofCheck
- Chairman and Founder of SofCheck, Inc (2002-present).
- Designer of ParaSail programming language (2010-present).
- Lead designer of Ada 95 programming language (1990-1995).
- Designer and implementor of optimizing compilers(1980-present).
- Chief Scientist and then CTO at Intermetrics/Averstar/Avercom (1980-2002).
- System Programmer for first Unix system outside of Bell Labs (Harvard-Radcliffe Student Timesharing System, 1975-1979).
- Harvard College, Summa Cum Laude (1971-1975).