The University of Chicago Computer Science Laboratory
{'Code': '05060100', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'EIA', 'LongName': 'DIVISION OF EXPERIMENTAL & INTEG ACTIVIT'}}
{'SignBlockName': 'John Cherniavsky', 'PO_EMAI': None, 'PO_PHON': None}
This award will provide funds to develop computing infrastructure for a         wide variety of research, with the primary areas being equational               logic, case-based reasoning, computer vision and graphics, numerical            solution of partial differential equations, and computer science                theory.  The infrastructure to be set up will include a VLSI design             facility to be used by students and faculty in developing and testing           circuit designs.  This facility will be used be used by a number of             other research projects.                                                                                                                                        The research in equational logic is concerned with the development of           useful implementations of an equational logic programming.  The                 following issues will be addressed: compiler optimizations, radical new         implementation techniques based on congruence closure, extensions of            the language to provide modularity, implementation of indeterminate             systems without the Church-Rosser property, more powerful techniques            for guaranteeing determinacy, more flexible input-output interfaces             integrating equational programming with structure editors and                   debuggers, and parallel evaluation of equational programs.                                                                                                      The research on case-based reasoning is concerned with the analysis and         implementation of reasoning by remembering previous results and                 adapting them to new situations.  This approach will be applied to four         projects: evaluating student applications, diagnosing mechanical                failures, routing delivery vehicles, and tutoring high school students          in geometry.                                                                                                                                                    The research on computer vision and graphics involves the study of a            new efficient general purpose algorithm for recognizing polyhedral              objects in arbitrary orientations.   Practical applicability of the             algorithm will be tested and generalizations of the algorithm will be           investigated.                                                                                                                                                   The research on numerical solutions of partial differential equations           involves several projects dealing with particle methods, multigrid              methods, variational inequalities, and superconvergent recovery of              information in finite element methods.  The research also involves              studying operator-splitting and time-splitting methods for the                  simulation of fluid flow in porous media, and dealing with                      singularities in solutions of the Navier-Stokes equations.                                                                                                      The theoretical areas of research include complexity theory and                 algorithms, programming language semantics, recursion theory, and the           application of recursion theoretic concepts and techniques to the               theoretical foundations of learning.
{'FirstName': 'Michael', 'LastName': "O'Donnell", 'PI_MID_INIT': 'J', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': "Michael J O'Donnell", 'EmailAddress': 'odonnell@cs.uchicago.edu', 'NSF_ID': '000243009', 'StartDate': '08/17/1993', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of Chicago', 'CityName': 'CHICAGO', 'ZipCode': '606375418', 'PhoneNumber': '7737028669', 'StreetAddress': '5801 S ELLIS AVE', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Illinois', 'StateCode': 'IL', 'CONGRESSDISTRICT': '01', 'CONGRESS_DISTRICT_ORG': 'IL01', 'ORG_UEI_NUM': 'ZUE9HKT2CLC9', 'ORG_LGL_BUS_NAME': 'UNIVERSITY OF CHICAGO', 'ORG_PRNT_UEI_NUM': 'ZUE9HKT2CLC9'}
{'Name': 'University of Chicago', 'CityName': 'CHICAGO', 'StateCode': 'IL', 'ZipCode': '606375418', 'StreetAddress': '5801 S ELLIS AVE', 'CountryCode': 'US', 'CountryName': 'United States', 'StateName': 'Illinois', 'CountryFlag': '1', 'CONGRESSDISTRICT': '01', 'CONGRESS_DISTRICT_PERF': 'IL01'}
[{'Code': '288500', 'Text': 'CISE RESEARCH INFRASTRUCTURE'}, {'Code': '917000', 'Text': 'Other PRA-Othr Prgrm Rltd Admn'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8822657.xml'}