S. Tucker Taft is VP and Director of Language Research at AdaCore. He joined AdaCore in 2011 as part of a merger with SofCheck, which he had founded in 2002 to develop advanced static analysis technology. Prior to that he was a Chief Scientist at Intermetrics, Inc. and its follow-ons for 22 years, where in 1990-1995 he led the design of Ada 95. He is recipient of an A.B. Summa Cum Laude degree from Harvard University, where he has more recently taught compiler construction and programming language design.