2020년 1월 28일
Leach-Krouse가 Munson-Simu 스타상을 수상했습니다.
철학 조교수인 Graham Leach-Krouse는 예술 과학 카지노의 교육, 서비스 및 연구 분야에서 뛰어난 성과를 인정받아 Munson-Simu Star Award를 수상했습니다.
Leach-Krouse는 노틀담 카지노에서 철학과 수학과에서 공동으로 수여하는 논리학 및 수학 기초 박사학위를 취득했습니다. 그는 Emil Post의 "절대적으로" 풀 수 없는 수학적 문제의 초기 발견부터 철학자가 추상화 공리를 사용하여 새로운 유형의 구조를 표현하고 분류하는 방법, 형식 논리를 가르치기 위한 소프트웨어 프레임워크 설계에 이르기까지 다양한 주제에 대한 논문을 발표했습니다.
Leach-Krouse는 또한 현재 전 세계 12개 이상의 카지노 강의실 안팎에서 사용되는 시스템인 Carnap 프레임워크 생성을 포함하여 여러 오픈 소스 소프트웨어 이니셔티브를 주도했습니다.
"논리 교육을 위한 Carnap 프레임워크에 대한 Graham의 작업은 교육학을 개선하기 위해 기술을 사용하는 정말 흥미로운 예입니다."라고 철학과 책임자인 Bruce Glymour가 말했습니다. "컴퓨터를 이용한 논리 교육이 한동안 존재해 왔지만 Leach-Krouse의 혁신적인 접근 방식은 더욱 다재다능하고 광범위한 증명 시스템을 처리할 수 있으며 컴퓨터 과학 및 수학 관련 분야의 주제와 더 잘 통합됩니다."
1996년 캔자스 주립 카지노 졸업생이자 Eluvio CEO이자 공동 창립자인 Michelle Munson과 그녀의 남편 Serban Simu의 기부금 및 지원으로 Keystone Research Faculty Scholars 및 Faculty Stars 프로그램은 학업의 어려움과 엄격함을 통해 성공을 보상합니다. 연구.
"Munson-Simu 가족이 제공한 넉넉한 자금을 통해 Leach-Krouse는 Carnap 프레임워크의 역량을 더욱 확장하고 철학, 논리, 컴퓨터 과학 및 수학 분야의 통합적이고 학제간 교육을 확장할 수 있을 것입니다."라고 Glymour는 말했습니다. "우리는 Leach-Krouse가 하고 있는 작업이 이보다 더 자랑스러울 수 없으며, 그가 이 작업을 수행할 수 있도록 지원한 자금에 대해 이보다 더 감사할 수 없습니다."
수상 자금으로 Leach-Krouse는 철학 및 논리 교육학의 품질, 형평성 및 영향력을 향상시키는 소프트웨어를 계속 개발할 것입니다. 그는 또한 철학적 논리와 이론적 컴퓨터 과학의 논리 적용 사이의 격차를 해소하는 연구 프로젝트를 추진하여 유형 이론 및 데이터 구조에 대한 현대 응용 작업을 추상화 원리 이론 및 비고전적 논리의 의미론과 접촉시키도록 노력할 계획입니다.