SPLASH 2020 (series) / 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, United States
Personal website: http://www.adacore.com
Research interests: Programming Languages, Parallel Programming, High-Integrity Systems, Cybersecurity, Real-time Embedded Systems
Contributions
| HILT 2020 | Committee Member in Program Committee within the HILT 2020-track Committee Member in Organizing Committee within the HILT 2020-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile