Opportunity ID | 17508 |
---|---|
Opportunity URL | https://npp.usra.edu/opportunities/details/?ro=17508 |
Location |
Ames Research Center Moffett Field, CA 94035 |
Field of Science | Technology Development |
Advisor | Michael Lowry 650-604-3369 michael.r.lowry@nasa.gov |
Citizenship Requirement |
|
Description | Although software engineering accounts for an increasing portion of the global economy, methods for developing software remain labor-intensive and largely informal. Automation lags behind other engineering disciplines, and existing computer-assisted software engineering tools mostly address syntactic and structural aspects of software systems. The Automated Software Engineering group is developing tools and environments for software engineering that address the semantic aspects of software systems. Our research is based on techniques from automated reasoning and knowledge representation, as well as on the formal mathematics of software engineering, with emphasis on automation. For example, we have developed innovative techniques for making theorem provers completely automatic in the context of program synthesis. Current projects include high-assurance, high-performance program synthesis; formal verification of software systems based on abstraction techniques and model checking; and developing environments for formal traceability from requirements through program execution. |