Navigation section

nsf career

About this tag
The nsf career tag on WindowsForum.com covers discussions related to the National Science Foundation's Faculty Early Career Development (CAREER) program, particularly in the context of computer science research. Content includes profiles of NSF CAREER award recipients, such as Grigore Rosu, an associate professor at UIUC whose research spans formal methods, software engineering, and programming languages. The tag highlights academic achievements, research interests, and career milestones of NSF-funded faculty, with a focus on theoretical foundations and system development. It is relevant for those interested in NSF funding opportunities, academic career paths, and computer science research supported by the NSF.
  1. News

    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
Back
Top