Full Name
S. Tucker Taft
Job Title
VP & Director of Language Research and QGen Senior Advisor
Company
AdaCore
Speaker Bio
S. Tucker Taft is VP and Director of Language Research at AdaCore, a company
focused on open-source tools to support the development of high-integrity software. Mr. Taft is also Senior Advisor for AdaCore's model-based development technology, QGen. Mr. Taft 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 Mr. Taft 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. Mr. Taft received an A.B. Summa Cum Laude degree from Harvard University, where he has more recently taught compiler construction and programming language design.
focused on open-source tools to support the development of high-integrity software. Mr. Taft is also Senior Advisor for AdaCore's model-based development technology, QGen. Mr. Taft 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 Mr. Taft 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. Mr. Taft received an A.B. Summa Cum Laude degree from Harvard University, where he has more recently taught compiler construction and programming language design.
Speaking At
