Presidential Faculty Fellow

总统教员研究员

• 批准号: 9253582
• 负责人: Lance Fortnow
• 金额: $ 50万
• 依托单位: University of Chicago
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1992
• 资助国家: 美国
• 起止时间: 1992-09-15 至 1998-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9253582&HistoricalAwards=false
• 关键词: Presidential; Faculty; Fellow

Work in the structural theory of computation, especially nondeterminism, probabilistic complexity, interactive proof systems, counting classes and program verification is continued. Newly developed techniques of algebraic structure of complexity classes and Gap-P counting functions to further understanding of these areas are used. A theory of program verification to enable an implementation of simple verification schemes is enhanced.

继续研究计算的结构理论，特别是非确定性、概率复杂性、交互证明系统、计数类和程序验证。新开发的复杂类的代数结构和Gap-P计数函数的技术被用来进一步理解这些领域。增强了能够实现简单验证方案的程序验证的理论。