| |
|
Mr. Taft is an industry leader in compiler construction and programming
language design. He served as the lead designer of the Ada 95 programming
language while employed at Intermetrics, Inc., and helped to direct the
efforts of a Language Precision Team which developed formal methods applicable
to new parts of the Ada language. He was technical leader for development
of a Static Interface Analysis Tool (SIAT) for Ada on behalf of the NASA
Space Station IV&V effort, and a generalization of this for C++. Recently,
he led the architecture and development effort of the Enterprise-Java-
and XML-based “Mass.gov” portal for the Commonwealth of Massachusetts.
Mr. Taft has published a number of papers and given numerous presentations
on programming language design, and software development environments.
His publications include “Ada 9X, A Technical Summary,” Communications
of the ACM, Nov. 1992, Vol 35, Issue 11. “High Quality Programming
Languages,” 12th Annual Software Technology Conference, Salt Lake
City, Utah, April/May 2000.
Mr. Taft received an A.B. Summa Cum Laude degree from Harvard University,
where he has since taught compiler construction and programming language
design.
|
|
