Abstract

This is a research planning grant. The PI is preparing a proposal on logics for program development and analysis. The PI has produced research results in mathematical logic and is expected to be successful in producing results of interest in theoretical computer science.

  Funding Agency

Agency
National Science Foundation (NSF)
Institute
Division of Computer and Communication Foundations (CCF)
Type
Standard Grant (Standard)
Application #
8706851
Program Officer
name not available
Project Start
Project End
Budget Start
1987-10-01
Budget End
1989-03-31
Support Year
Fiscal Year
1987
Total Cost
$12,000
Indirect Cost

  Institution

Name
Cornell University
Department
Type
DUNS #
City
Ithaca
State
NY
Country
United States
Zip Code
14850