Navigation section

theoretical foundations

About this tag
The tag theoretical foundations on WindowsForum.com covers discussions related to the formal and mathematical underpinnings of computer science, particularly in the context of program verification and formal methods. Content tagged here includes references to academic research, such as Grigore Rosu's work at UIUC on formal methods, software engineering, and programming languages. The tag is used for threads that explore the theoretical aspects of computing, including system development and formal verification techniques. While not directly focused on Windows or Microsoft, the tag may appear in broader discussions about software reliability and correctness that are relevant to developers and IT professionals.
  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