Talia Ringer

持续在做什么

美国计算机科学家、伊利诺伊大学厄巴纳-香槟分校助理教授，专注证明工程、依赖类型、交互式定理证明与自动化形式验证。其研究把程序变换、机器学习和证明修复结合起来，让更多工程师与数学家能够协作构建可靠软件；同时创办 SIGPLAN 长期导师计划与 Computing Connections Fellowship，为处于不健康研究环境的博士生提供跨机构支持。