ngày 28 tháng 1 năm 2020
trực tiếp tỷ số bóng đá đã trao giải thưởng ngôi sao Munson-Simu
Graham Leach-Krouse, Trợ lý Giáo sư Triết trực tiếp tỷ số bóng đá, đã được trao Giải thưởng Ngôi sao Munson-Simu, công nhận hiệu suất xuất sắc trong giảng dạy, dịch vụ và nghiên cứu trong Đại trực tiếp tỷ số bóng đá Nghệ thuật và Khoa trực tiếp tỷ số bóng đá.
Leach-krouse tốt nghiệp Đại trực tiếp tỷ số bóng đá Notre Dame với bằng tiến sĩ logic và các nền tảng của toán trực tiếp tỷ số bóng đá, được các khoa triết trực tiếp tỷ số bóng đá và toán trực tiếp tỷ số bóng đá tập hợp. Ông đã công bố các bài báo về các chủ đề từ phát hiện ban đầu của Emil Post về các vấn đề toán trực tiếp tỷ số bóng đá "hoàn toàn không thể giải quyết được, đến cách các nhà triết trực tiếp tỷ số bóng đá có thể sử dụng các tiên đề trừu tượng để thể hiện và phân loại các loại cấu trúc mới, để thiết kế khung phần mềm để giảng dạy logic chính thức.
Leach-Krouse cũng đã lãnh đạo một số sáng kiến phần mềm nguồn mở, bao gồm việc tạo ra khung Carnap, một hệ thống hiện được sử dụng trong và ngoài lớp trực tiếp tỷ số bóng đá tại hơn một chục trường cao đẳng và đại trực tiếp tỷ số bóng đá quốc tế.
"Công việc của Graham trong khuôn khổ Carnap cho việc dạy kèm logic là một ví dụ thực sự thú vị về việc sử dụng công nghệ để cải thiện sư phạm", Bruce Glymour, người đứng đầu bộ phận triết trực tiếp tỷ số bóng đá cho biết. "Mặc dù hướng dẫn logic hỗ trợ máy tính đã xuất hiện trong một thời gian, cách tiếp cận sáng tạo của Leach-Krouse là linh hoạt hơn, có thể xử lý một loạt các hệ thống chứng minh và tích hợp tốt hơn với các chủ đề trong các lĩnh vực liên quan trong khoa trực tiếp tỷ số bóng đá máy tính và toán trực tiếp tỷ số bóng đá."
Được tài trợ và hỗ trợ bởi một món quà từ tốt nghiệp Đại trực tiếp tỷ số bóng đá bang Kansas năm 1996 và Giám đốc điều hành Eluvio và đồng sáng lập Michelle Munson, và chồng cô, Serban Simu, các trực tiếp tỷ số bóng đá giả của Khoa nghiên cứu Keystone và các chương trình của các giảng viên sẽ thưởng cho thành công thông qua những khó khăn và sự nghiêm khắc của nghiên cứu trực tiếp tỷ số bóng đá thuật. Munson, một người bản địa thành phố Junction và tốt nghiệp trường trung trực tiếp tỷ số bóng đá Chapman, và Simu hiện đang sống ở Berkeley, California.
"Khoản tài trợ hào phóng được cung cấp bởi gia đình Munson-Simu sẽ cho phép Leach-Krouse mở rộng hơn nữa các năng lực của Khung Carnap và Tích hợp, Hướng dẫn liên ngành về Triết trực tiếp tỷ số bóng đá, Logic, Khoa trực tiếp tỷ số bóng đá máy tính và Toán trực tiếp tỷ số bóng đá," Glymour nói. "Chúng tôi không thể tự hào hơn của công việc Leach-Krouse đang làm, hoặc biết ơn hơn về tài trợ cho phép anh ấy làm điều đó."
Với tài trợ từ giải thưởng, Leach-Krouse sẽ tiếp tục phát triển phần mềm để cải thiện chất lượng và công bằng và tác động của triết trực tiếp tỷ số bóng đá và phương pháp sư phạm logic. Ông cũng có kế hoạch theo đuổi các dự án nghiên cứu thu hẹp khoảng cách giữa logic triết trực tiếp tỷ số bóng đá và các ứng dụng của logic trong khoa trực tiếp tỷ số bóng đá máy tính lý thuyết, làm việc để đưa công việc ứng dụng đương đại về lý thuyết và cấu trúc dữ liệu tiếp xúc với lý thuyết về các nguyên tắc trừu tượng và ngữ nghĩa của logic phi cổ điển.