2020 年 1 月 28 日
スポーツベットアイオー ボーナス=クロースがマンソン=シム・スター賞を受賞
マロスポーツベットアイオー ボーナス・スージーによって提出された
グラハム・スポーツベットアイオー ボーナス=クロース, 哲学の助教授, マンソン・シム・スター賞を受賞しました, 教育における優れた業績を表彰する, 文理学部での奉仕と研究.
スポーツベットアイオー ボーナス=クロースはノートルダム大学を卒業し、論理学と数学の基礎の博士号を取得しました, 哲学部と数学部が共同で授与. 彼は、エミール・ポストによる「絶対に」解けない数学的問題の初期の発見に至るまで、さまざまなテーマに関する論文を発表している, 哲学者が抽象化公理を使用して新しいタイプの構造を表現し分類する方法について, 形式論理を教えるためのソフトウェア フレームワークの設計へ.
スポーツベットアイオー ボーナス-クラウス氏もいくつかのオープンソース ソフトウェア イニシアチブを率いています, Carnap フレームワークの作成を含む, 現在、世界中の十数の大学で教室内外で使用されているシステム.
「論理個別指導のための Carnap フレームワークに関する Graham の取り組みは、教育学を改善するためのテクノロジーの使用の非常に興味深い例です,「ブルース・グリモアは言いました,哲学部長."コンピュータ支援論理命令はしばらく前から存在していましたが, スポーツベットアイオー ボーナス-クラウスの革新的なアプローチはより多用途, より広範囲の証明システムを処理可能, コンピュータ サイエンスと数学の関連分野のテーマとよりよく統合されます."
1996 年スポーツベットアイオー ボーナス卒業生で Eluvio CEO 兼共同創設者のミシェル・マンソン氏からの贈り物によって資金提供およびサポートされています, と彼女の夫, セルバン・シム, キーストーン研究所のファカルティ・スカラーズ・プログラムとファカルティ・スターズ・プログラムは、学術研究の困難と厳しさを乗り越えて成功に報いる. マンソン, ジャンクションシティ出身、チャップマン高校卒業生, そしてシムは今バークレーに住んでいます, カリフォルニア.
「マンソン・シム家から提供された寛大な資金により、スポーツベットアイオー ボーナス・クロースはカルナップ・フレームワークと統合の能力をさらに拡大することができます。, 哲学における分野横断的な指導, ロジック, コンピュータ サイエンスと数学,"グリモアは言いました. 「スポーツベットアイオー ボーナス＝クラウスの仕事をこれ以上誇りに思うことはできません, それを可能にしてくれる資金にさらに感謝."
賞からの資金提供により, スポーツベットアイオー ボーナス-クラウスは、哲学と論理教育学の品質、公平性、影響力を向上させるソフトウェアの開発を継続します. 彼はまた、哲学的論理と理論的コンピューター科学における論理の応用との間のギャップを埋める研究プロジェクトを推進する予定です, 型理論とデータ構造に関する現代の応用研究を、抽象原理の理論と非古典的論理の意味論と接触させることに取り組んでいます.