uiuc

About this tag
The uiuc tag on WindowsForum.com covers content related to the University of Illinois at Urbana-Champaign (UIUC), particularly its Department of Computer Science. Discussions include research by faculty such as Grigore Rosu, who leads the Formal Systems Laboratory (FSL) and works on formal methods, software engineering, and programming languages. The tag may also reference UIUC's academic programs, events like ICSE 2011, and collaborations with institutions like NASA Ames. This tag is relevant for users interested in UIUC's contributions to computer science and software verification research.

  1. 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