塔克塔夫特-2018年SPLASH

2018年11月9日星期日至星期五美国马萨诸塞州波士顿

自2017年11月19日星期日起注册用户

姓名：塔克塔夫特

生物：

哈佛学院1971-1975年，AB化学优等生
哈佛大学拉德克利夫学生计算中心1975-1979，系统程序员
Intermetrics/AverStar/AverCom 1980-2002，首席科学家
SofCheck 2002-2011，创始人兼首席技术官
AdaCore 2011年至今，副总裁，语言研究总监，基于模型的工具集产品架构师

国家/地区：美国

附属：AdaCore公司

个人网站：http://www.adacore.com网站

研究兴趣：编程语言、并行编程、高集成系统、网络安全、实时嵌入式系统

贡献

2018

溅水

HILT公司

显示其他会议的活动

SPLASH 2018-简介
查看常规配置文件