SPLASH 2018 (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
Personal website: http://www.adacore.com
Research interests:Programming Languages, Parallel Programming, High-Integrity Systems, Cybersecurity, Real-time Embedded Systems
Contributions
2018
SPLASH
HILT
- Workshop Wrapup
- Session Chair of Showcase & Wrapup (part of HILT 2018)
- Security Showcase -- SPARK Formal Verification for Security
- Panel on Language-based Security
- Welcome to the HILT 2018 Workshop
- Session Chair of Keynote: Richards (part of HILT 2018)
- Committee Member in Organizing Committee within the HILT 2018-track
- SIGAda Awards and Sponsor Intros
- Program Co-Chair in Program Committee within the HILT 2018-track
SPLASH 2018-profile
View general profile
View general profile