CRA认识到Harvey Mudd学生的研究人员

联合计算机科学和数学主要Lindsay Popowski'21是计算研究协会(CRA)2021突出本科研究员奖的收件人。CRA还认识到联合计算机科学和数学主要Abtin Molavi'21作为决赛者。

今年由微软研究提供赞助,着名的计划在北美学院和大学庆祝大学的大学,在计算研究领域展示出色的潜力。

Lindsay Popowski '21

Lindsay Popwoski.

Popowski自HMC的第一年以来一直参与计算机科学研究,CRA奖励认可她在整个本科生涯中工作的几个研究项目。

2018年夏季,随着Zach Dodds(Leonhard-Johnson-Rae Project Computer Science教授),Popowski在几个跨学科项目上致力于CS之外的教授,将计算元素纳入他们的研究或教育学。她还研究了介绍性CS教育。

在接下来的夏季和2019年秋季,她曾与计算机科学教授Jim Boerkoel和Heatlab的其他研究人员合作。“我与另一名学生合作,开发新的动态调度算法,以便在多代理交互情景中使用,与人机团队一样,”她说。

去年夏天,Popowski参加了Carnegie Mellon University软件研究所的大学生科学基金会研究经验。“我使用了基于神经网络的自然语言处理技术来创建了应用程序屏幕的矢量表示,”她说。“这个项目将帮助用户更好地编程他们的手机来执行任务,如其他智能代理(Siri,Alexa等),但此代理商可以教授新的任务。”

Popowski计划在人机互动中追求博士学位。

abtin molavi '21

Abtin Molavi.

“我对该奖项的提名主要基于计划核查项目,”2019年夏季研究中的项目工作。

“这位计算机科学次级领域的总体目标是确保今天和将来写的代码尽可能安全,高效,更正,”他说。“我们的具体贡献是开发第一算法和软件,用于计算涉及整数阵列的逻辑公式的解决方案的数量,编程中的极其常见的数据结构。分析技术经常将程序作为输入,并产生描述作为输出行为的逻辑公式。计数这些约束的解决方案数量使我们能够回答问题,如此,这个程序行为有多可能?在此数据结构中包含多少信息?“

Molavi计划在计算机科学中追求博士学位。