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, Ada 2005, and Ada 2012.
Founder and CTO of SofCheck, Inc. 2002-2011
Director of Language Research, AdaCore, 2012-present
Programming Language Design
Compiler optimization
Software verification
Safety-Critical Software
Security-Sensitive Software
Skiing, Tennis, Cycling, Masters Track (200m and 400m)
Recent comments
22 weeks 6 days ago
22 weeks 6 days ago
22 weeks 6 days ago
45 weeks 16 hours ago
49 weeks 2 days ago
50 weeks 6 days ago
50 weeks 6 days ago
1 year 1 week ago
1 year 6 weeks ago
1 year 6 weeks ago