Topics in the Theory of Computation
{'Code': '05010100', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'Bruce H. Barnes', 'PO_EMAI': None, 'PO_PHON': None}
This research project spans several distinct but related areas of               theoretical computer science.  Under investigation are topics in                complexity theory, logics of programs and program semantics.                    Complexity theory topics to be investigated include algorithms for              chordal graphs and polynomial decomposition.  Finite basis theorems,            the propositional mu-calculus and the duality of powerdomains and               predicates will be investigated as part of the research program in              logics and semantics of programs.
{'FirstName': 'Dexter', 'LastName': 'Kozen', 'PI_MID_INIT': 'C', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Dexter C Kozen', 'EmailAddress': 'kozen@cs.cornell.edu', 'NSF_ID': '000088344', 'StartDate': '07/01/1988', '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': '2860', 'Text': 'THEORY OF COMPUTING'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8806096.xml'}