Tucker Taft

Registered user since Sun 19 Nov 2017

Name: Tucker Taft

Bio: * Harvard College 1971-1975, AB Summa Cum Laude Chemistry * Harvard Radcliffe Student Computing Center 1975-1979, Systems Programmer * Intermetrics/AverStar/AverCom 1980-2002, Chief Scientist * SofCheck 2002-2011, Founder and CTO * AdaCore 2011-present, VP, Director of Language Research, Model-Based Toolset Product Architect

Country: United States

Affiliation: AdaCore

Personal website: http://www.adacore.com

Research interests: Programming Languages, Parallel Programming, High-Integrity Systems, Cybersecurity, Real-time Embedded Systems


HILT 2018Author of Workshop Wrapup within the HILT 2018-track
Co-chair of Welcome to the HILT 2018 Workshop within the HILT 2018-track
Committee Member in Organizing Committee within the HILT 2018-track
Co-chair of SIGAda Awards within the HILT 2018-track
Program Co-Chair in Program Committee within the HILT 2018-track
SPLASH 2018Sponsorship Chair in Organizing Committee
Speaker in Speakers within the SPLASH-I-track
Speaker of Provably Safe Pointers for a Parallel World within the SPLASH-I-track
Show activities from other conferences

SPLASH 2018-profile
View general profile