Navigation section

sri international

About this tag
SRI International is a research institute whose Computer Science Laboratory hosts the Formal Methods group, led by Dr. John Rushby. Discussions on WindowsForum.com highlight Dr. Rushby's work in formal methods and verification, including his contributions to computing history. The tag covers topics related to SRI International's research in computer science, particularly formal verification methods and the history of computing innovations such as the computer mouse.
  1. News

    Windows 7 ICSE 2011: John Rushby - Formal Methods, Verification and Some Computing History

    Meet Dr. John Rushby, a computer scientist who runs the Formal Methods group within the Computer Science Laboratory at SRI International. Dr. Rushby is a legendary scientist in the field of formal methods and verification. He has a very rich history in the computer science which you will learn...
    • News
    • Thread
    • computer science computing history expert conversations formal methods icse 2011 john rushby mouse sri international verification wolfram schulte
    • Replies: 0
    • Forum: Live RSS Feeds
Back
Top