Presidential Young Investigator Award:  Research in Design  Automation
{'Code': '07030000', 'Directorate': {'Abbreviation': 'ENG', 'LongName': 'Directorate For Engineering'}, 'Division': {'Abbreviation': 'CMMI', 'LongName': 'Div Of Civil, Mechanical, & Manufact Inn'}}
{'SignBlockName': 'george hazelrigg'}
This research outlines a formal and unifying theory concerning             (i) the process of design, namely that it can be succinctly and                 simply defined to be a model of computability, (ii) the artifacts of            design as enumerated strings from a formal design grammar, and (iii)            the rules of design as formal state changes that govern the string              enumeration.                                                                         The artifacts of engineering design of discrete goods, as                  strings in a formal language, can be discussed in terms of solid                modeling as the kernel of a boundary based modeling system, rooted              in a language of topologically valid representations of rigid solids            as connected, 2-manifolds.  This 3D representation grammar includes             (i) a set of face-based Euler operators as well as (ii) their                   semantics.  Since inclusion of both elements provides necessary and             sufficient conditions for solidity, one can prove topological                   validity of the representation scheme.
{'FirstName': 'Patrick', 'LastName': 'Fitzhorn', 'EmailAddress': 'patrick@lance.colostate.edu', 'StartDate': '10/01/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Colorado State University', 'CityName': 'Fort Collins', 'ZipCode': '805232002', 'PhoneNumber': '9704916355', 'StreetAddress': '601 S Howes St', 'CountryName': 'United States', 'StateName': 'Colorado', 'StateCode': 'CO'}
{'Code': '1464', 'Text': 'ESD-Eng & Systems Design'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8857696.xml'}