Tue 6 Nov 2018 16:20 - 16:45 at Franklin - Showcase & Wrapup Chair(s): Tucker Taft
  • 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

Tue 6 Nov

hilt-2018-papers
15:30 - 17:00: HILT 2018 - Showcase & Wrapup at Franklin
Chair(s): Tucker TaftAdaCore
hilt-2018-papers15:30 - 15:55
Industry talk
Paul AndersonGrammaTech, Inc
hilt-2018-papers15:55 - 16:20
Industry talk
Mario TroianiVirtual Software Systems
hilt-2018-papers16:20 - 16:45
Industry talk
hilt-2018-papers16:45 - 17:00
Day closing
  • 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