跳到内容 跳到导航

卡罗琳特里普

卡罗琳特里普

助理教授

联系

电子邮件: 

卡罗琳特里普是CQ9电子游戏计算机科学和电子工程部门的助理教授计算机体系结构方面的工作。前开始在CQ9电子游戏,特里普公平的SysML组花了九个月的研究科学家的Facebook的。她的工作重点是促进正确性和安全性为第一阶计算机系统设计指标(类似于性能和功率)。她工作的中心主题是利用形式化方法技术来设计,为了确保他们能够为他们打算支持的应用程序提供了正确性和安全保证验证的硬件系统。此外,特里普最近已探索架构的实现隐私保护机器学习,学习机的硬件系统优化中的作用,特别是在神经推荐的范围内,并寻求机会改善数据中心和大规模机器学习可靠性的作用。

特里普的研究都通过她的规范草案的形式分析和她的RISC-V内存模型任务组在随后的参与影响了RISC-V ISA内存一致性模型的设计。此外,她的作品产生了新的方法和工具,合成的现在著名的崩溃和幽灵攻击两个新变种。

特里普的研究已经认识到与IEEE首选的区别和2020年ACM sigarch / IEEE CS TCCA优秀论文奖。她也被授予了NVIDIA研究生奖学金(2017年至2018年),并选择参加2018 MIT新星EECS车间。特里普完成了她的计算机科学在普林斯顿大学和博士在美国普渡大学攻读计算机工程学士学位。