Logics for Program Development and Analysis
{'Code': '05010100', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'name not available', 'PO_EMAI': None, 'PO_PHON': None}
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.
{'FirstName': 'Catherine', 'LastName': 'Wagner', 'PI_MID_INIT': 'M', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Catherine M Wagner', 'EmailAddress': 'kay@cs.cornell.edu', 'NSF_ID': '000134094', 'StartDate': '10/01/1987', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Cornell University', 'CityName': 'ITHACA', 'ZipCode': '148502820', 'PhoneNumber': '6072555014', 'StreetAddress': '341 PINE TREE RD', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'New York', 'StateCode': 'NY', 'CONGRESSDISTRICT': '19', 'CONGRESS_DISTRICT_ORG': 'NY19', 'ORG_UEI_NUM': 'G56PUALJ3KT5', 'ORG_LGL_BUS_NAME': 'CORNELL UNIVERSITY', 'ORG_PRNT_UEI_NUM': None}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
[{'Code': '912000', 'Text': 'CROSS-DIRECTORATE PROGRAMS'}, {'Code': '917000', 'Text': 'Other PRA-Othr Prgrm Rltd Admn'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8706851.xml'}