Mathematical Sciences: Universal Algebra and Lattice Theory
{'Code': '03040300', 'Directorate': {'Abbreviation': 'MPS', 'LongName': 'Direct For Mathematical & Physical Scien'}, 'Division': {'Abbreviation': 'DMS', 'LongName': 'Division Of Mathematical Sciences'}}
{'SignBlockName': 'Ann K. Boyle', 'PO_EMAI': None, 'PO_PHON': None}
The long range goal of this research is to provide a unified               treatment of various algebraic structures consisting of a Boolean               algebra with additional operations.  A major effort will be made                to develop within that framework an interpretation of computing                 programs and of related concepts that represents more faithfully                the operational properties of these concepts than does the notion               of a dynamic algebra.  This will lead to other questions of                     general interest concerning various classes of operators on a                   Boolean algebra.                                                                     This research is at the broad interface of logic, algebra                  and computer science.  The subject of universal algebra and                     lattices will be studied for their own right and for their                      applications to theoretical computer science.
{'FirstName': 'Bjarni', 'LastName': 'Jonsson', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Bjarni Jonsson', 'EmailAddress': None, 'NSF_ID': '000461677', 'StartDate': '06/15/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Vanderbilt University', 'CityName': 'NASHVILLE', 'ZipCode': '372032416', 'PhoneNumber': '6153222631', 'StreetAddress': '110 21ST AVE S', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Tennessee', 'StateCode': 'TN', 'CONGRESSDISTRICT': '05', 'CONGRESS_DISTRICT_ORG': 'TN05', 'ORG_UEI_NUM': 'GTNBNWXJ12D5', 'ORG_LGL_BUS_NAME': 'VANDERBILT 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': '1264', 'Text': 'ALGEBRA,NUMBER THEORY,AND COM'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8800290.xml'}