Navigation section

john rushby

About this tag
John Rushby is a renowned computer scientist and leader of the Formal Methods group at SRI International's Computer Science Laboratory. This tag covers discussions about his work in formal methods and verification, including his contributions to computing history. Content featuring Dr. Rushby highlights his legendary status in the field and his engaging storytelling about computer science milestones, such as the invention of the computer mouse. The tag is relevant for those interested in formal verification, computing history, and the insights of a pioneering researcher.
  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