计算理论
卡尔·麦克塔格电子游戏正规平台了奇异几何与色同伦理论之间的联系, 这种联系揭示了拓扑和代数曲线的算术之间的惊人关系. 具体地说, 他正致力于揭示椭圆上同调的高属推广,这是由Cayley平面的特殊几何(以及对特征的模空间进行分类)所提出的。. He is also working to compute the homotopy type of the string bordism spectrum MO<8> at the prime 3, 基于计算机辅助计算的bp同源性, 被认为是霍普环. 他正在努力形式化(在Coq中)并将机器学习应用于EHP和Adams谱序列计算. 他还电子游戏正规平台了曲率在数据分析中的新用途, 元胞自动机中的模式形成, 以及装订和音乐创作的计算和几何方面.
人工智能 & 机器学习
教授. 本托的电子游戏正规平台包括理解如何通过网络解决问题. 这些网络可以表示需要协作解决问题的一组节点上的通信约束, 或者数学模型中变量之间的数学约束. 特别是, 他非常关注图形模型和分布式优化算法背景下的网络. 他的工作在机器人路径规划中得到了应用, 组合优化, 视频因袭, 计算机视觉跟踪, 和, 最近, 系统生物学. 教授. Bento目前是一个大型跨学科合作项目的五个pi之一,旨在了解抗生素耐药性的机制. 这项合作涉及电子游戏软件生物系的van Opijnen实验室, 以及塔夫茨大学的一组电子游戏正规平台人员, St. 裘德儿童医院,以及匹兹堡大学. 他们的联合电子游戏正规平台得到了来自NIH/NIAID的1000万美元的U01资助.
像Siri和ChatGPT这样的技术只适用于世界上7000种语言中的少数几种. 艾米丽Prud 'hommeaux正在使用变形神经网络和统计方法来帮助电子游戏正规平台人员和土著社区记录和振兴濒危和资源不足的语言.
乔治·莫勒正在电子游戏正规平台 NSF资助SCC项目 建造低成本的枪击探测装置,以促进社区主导的暴力中断工作. 该设备利用变压器神经网络对树莓派上运行的音频进行分类. 然后,通过手机应用程序实时通知暴力中断工作人员所在社区的枪击事件,并可能进行干预,以防止报复性枪支暴力.