电子游戏正规平台

计算机科学学院从事人工智能众多领域的电子游戏正规平台, 理论, 数据科学. 本科生通过独立电子游戏正规平台或荣誉项目参与许多学院电子游戏正规平台项目.

计算理论

卡尔McTague

卡尔·麦克塔格电子游戏正规平台了奇异几何与色同伦理论之间的联系, 这种联系揭示了拓扑和代数曲线的算术之间的惊人关系. 具体地说, 他正致力于揭示椭圆上同调的高属推广，这是由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谱序列计算. 他还电子游戏正规平台了曲率在数据分析中的新用途, 元胞自动机中的模式形成, 以及装订和音乐创作的计算和几何方面.

Hsin-Hao苏

传统的网络优化问题电子游戏正规平台侧重于开发顺序设置的算法，其中计算在单个处理器中完成. 今天, 许多现实世界的网络规模已经变得如此庞大，以至于单个处理器无法有效地处理所有的计算, 要么是由于效率低下，要么是由于全球访问的不可行性. 这推动了网络优化问题的分布式和并行算法的电子游戏正规平台. 对于许多网络优化问题, 我们仍然不知道如何在这些设置中有效地匹配相同的序列算法的解质量. Hsin-Hao苏致力于为许多网络优化问题开发高效的分布式和并行算法(在运行时间和解决方案质量上有可证明的保证), 包括匹配, 聚类, 路由, 等.

霍华德·施特劳宾

霍华德·斯特劳宾的大部分电子游戏正规平台都集中在有限自动机和逻辑之间的联系上, 通过抽象代数的媒介. 这导致了许多不同逻辑的表达能力的有效表征，这些逻辑用于表达可以由有限自动机测试的词的属性. Outst和ing open problems center around extending this framework to regular languages of trees 和 forests; 和 using it to study low-depth circuit complexity.

Ilya Volkovich

Ilya Volkovich电子游戏正规平台了随机性在计算中的作用:给定一个有效的随机化算法, 我们能否将其转换成具有相当效率的确定性? 他还电子游戏正规平台了基本问题:各种密码原语的必要和充分假设是什么? 最近，出现了一系列新的算法分析方法. 然而，其中许多方法需要广泛的背景知识. 教授的目标. 沃尔科维奇的电子游戏正规平台是对分析的简化, 让更多的观众更容易接触到它, 包括本科生. 他的一些电子游戏正规平台成果已经被纳入了课程，并被纳入了算法教科书.

人工智能 & 机器学习

塞尔吉奥·阿尔瓦雷斯

塞尔吉奥·阿尔瓦雷斯(塞尔吉奥·阿尔瓦雷斯)正在与康奈尔护理学院和塔夫茨医学中心的本科生和同事合作，电子游戏正规平台从可穿戴传感器获得的心脏活动数据的机器学习, 旨在使家庭监测心力衰竭患者. 种子基金由电子游戏软件席勒电子游戏正规平台所提供. 他还在机器学习方面追求更理论化的方向，涉及核函数的渐近性和相关的再现核希尔伯特空间.

何塞盒饭

教授. 本托的电子游戏正规平台包括理解如何通过网络解决问题. 这些网络可以表示需要协作解决问题的一组节点上的通信约束, 或者数学模型中变量之间的数学约束. 特别是, 他非常关注图形模型和分布式优化算法背景下的网络. 他的工作在机器人路径规划中得到了应用, 组合优化, 视频因袭, 计算机视觉跟踪, 和, 最近, 系统生物学. 教授. Bento目前是一个大型跨学科合作项目的五个pi之一，旨在了解抗生素耐药性的机制. 这项合作涉及电子游戏软件生物系的van Opijnen实验室, 以及塔夫茨大学的一组电子游戏正规平台人员, St. 裘德儿童医院，以及匹兹堡大学. 他们的联合电子游戏正规平台得到了来自NIH/NIAID的1000万美元的U01资助.

金南旭

数据在我们的日常生活中无处不在, 从日常人类活动到环境和社会经济指标. 理解数据正成为一项重要的技能，让每个人都能更好地了解自己，让我们的社会变得更好.教授. 他的电子游戏正规平台愿景在于数据的民主化, 降低每个人理解和交流复杂数据的障碍. 他通过使用可视化作为外部认知辅助工具来帮助人们看到看不见的东西来应对这一挑战. 在人机交互的大背景下, 他的电子游戏正规平台探索了与数据交互的创新方法, 超越传统专家系统，满足更广泛受众的需求.

艾米丽Prud 'hommeaux

像Siri和ChatGPT这样的技术只适用于世界上7000种语言中的少数几种. 艾米丽Prud 'hommeaux正在使用变形神经网络和统计方法来帮助电子游戏正规平台人员和土著社区记录和振兴濒危和资源不足的语言.

Donglai魏

计算机视觉(CV)是人工智能的一个分支，它使计算机能够进行重建, 识别, 并重新组织来自输入图像的丰富信息. 特别是自动化生物医学图像分析与CV方法大大加快了科学发现和医疗创新.教授. 魏的电子游戏正规平台重点是自然智能和人工智能之间的相互作用. 一方面，一方面, 他一直在开发新的计算机视觉方法，从大规模显微镜图像中重建神经元的详细接线图, 揭示大脑的工作原理，加速脑部疾病药物的研发. 另一方面, 他一直在推进神经科学启发的设计，以增强视频理解应用的计算机视觉方法. 除了, 他一直致力于开源生物医学图像分析解决方案，以协助生物学合作者, 心理学, 放射学, 和病理.

元人民币

圆圆的电子游戏正规平台主要集中在深度学习上, 计算机视觉, 以及人工智能在医疗保健和医学领域的应用. 她的工作引起了媒体的广泛关注, 出现在《电子游戏正规平台》等媒体上, 华盛顿邮报, 英国广播公司, TechCrunch, 和Engadget, 等. 值得注意的是, 她在用于帕金森病诊断和进展跟踪的人工智能驱动的数字生物标志物方面的工作被公认为2022年医学十大显著进展之一.

乔治·莫赫勒

乔治·莫勒正在电子游戏正规平台 NSF资助SCC项目建造低成本的枪击探测装置，以促进社区主导的暴力中断工作. 该设备利用变压器神经网络对树莓派上运行的音频进行分类. 然后，通过手机应用程序实时通知暴力中断工作人员所在社区的枪击事件，并可能进行干预，以防止报复性枪支暴力.

回到顶部

电子游戏正规平台

计算理论

人工智能 & 机器学习

关注我们