Navigation section
nasa ames
About this tag
The tag 'nasa ames' on WindowsForum.com refers to NASA Ames Research Center, a major NASA facility located in California's Silicon Valley. Content tagged with 'nasa ames' includes discussions about researchers who have worked at NASA Ames, such as Grigore Rosu, a computer science professor known for his work in formal methods, software engineering, and programming languages. The tag may appear in threads about program verification, formal methods, and related computer science topics where the researcher's affiliation with NASA Ames is mentioned. This tag is relevant for users interested in the intersection of NASA research and computer science, particularly in areas like formal verification and software engineering.
-
Windows 7 ICSE 2011: Grigore Rosu - The Art and Science of Program Verification
Grigore Rosu is an associate professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), where he leads the Link Removed (FSL). His research interests encompass both theoretical foundations and system development in the areas of formal methods...- News
- Thread
- acm sigsoft awards computer science etaps 2002 executable semantics formal methods grigore rosu hoare logic icse 2011 nasa ames nsf career programming languages research software development software verification system development teaching theoretical foundations uiuc
- Replies: 0
- Forum: Live RSS Feeds