2020 年 1 月 28 日
金沙js4399首页ach-Krouse 荣获 Munson-Simu 明星奖
格雷厄姆·利奇-克鲁斯, 金沙js4399首页助理教授, 荣获Munson-Simu明星奖, 表彰教学中的杰出表现, 文理学院的服务和研究.
金沙js4399首页ach-Krouse 毕业于圣母大学，获得逻辑学和数学基础博士学位, 由哲学系和数学系联合授予. 他发表的论文主题包括埃米尔·波斯特早期发现的“绝对”无法解决的数学问题, 哲学家如何使用抽象公理来表示和分类新型结构, 用于教授形式逻辑的软件框架的设计.
金沙js4399首页ach-Krouse 还领导了多项开源软件计划, 包括卡尔纳普框架的创建, 该系统现已在国际上十几所学院和大学的课堂内外使用.
“格雷厄姆关于卡尔纳普逻辑辅导框架的工作是利用技术改进教学法的一个非常令人兴奋的例子,”布鲁斯·格利摩说道,哲学系主任.“虽然计算机辅助逻辑指令已经存在了一段时间, 金沙js4399首页ach-Krouse 的创新方法更加通用, 能够处理更广泛的证明系统, 并与计算机科学和数学相关领域的主题更好地结合."
由 1996 年金沙js4399首页立大学毕业生、Eluvio 首席执行官兼联合创始人 Michelle Munson 的捐赠资助和支持, 和她的丈夫, 塞尔维亚西姆, Keystone 研究学院学者和学院之星计划通过学术研究的困难和严谨来奖励成功. 曼森, 章克申城人，查普曼高中毕业生, Simu 现在住在伯克利, 加利福尼亚.
“Munson-Simu 家族提供的慷慨资助将使 金沙js4399首页ach-Krouse 能够进一步扩展 Carnap 框架和集成的能力, 哲学跨学科教学, 逻辑, 计算机科学和数学,”格利摩说道. “我们对 金沙js4399首页ach-Krouse 所做的工作感到非常自豪, 或者更感谢允许他这样做的资金."
通过该奖项的资助, 金沙js4399首页ach-Krouse 将继续开发软件，以提高哲学和逻辑教育学的质量、公平性和影响力. 他还计划开展研究项目，以弥合哲学逻辑与逻辑在理论计算机科学中的应用之间的差距, 致力于将类型论和数据结构方面的当代应用工作与抽象原理理论和非经典逻辑语义联系起来.