过去的成员 史蒂夫Awodey 高等研究院之友会员;Bob的游戏查尔斯·西蒙尼基金会提供的额外资金 联系 数学 研究领域 单价的基础 家机构 卡内基梅隆大学 网站 个人网站 从 9/2012-5/2013 Steve Awodey正在研究逻辑学和同伦理论之间的联系。他运用高级范畴理论的方法,将建构型理论和奎伦模型范畴联系起来。 国际会计准则日期 成员 数学学院 9/2012- - - - - -5/2013 度 芝加哥大学 博士学位。 1997 更新配置文件 的想法 一价基础与数学的大规模形式化 史蒂夫Awodey而且蒂埃里Coquand