Navigation section

etaps 2002

About this tag
The etaps 2002 tag on WindowsForum.com references the European Joint Conferences on Theory and Practice of Software (ETAPS) held in 2002. Content tagged with etaps 2002 includes discussions on program verification and formal methods, particularly highlighting Grigore Rosu's work at the University of Illinois at Urbana-Champaign and NASA Ames. This tag is relevant for users interested in academic research in software engineering, programming languages, and formal verification methods from that period.
  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