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

Discussion in 'Live RSS Feeds' started by News, Jun 15, 2011.

  1. News

    News Extraordinary Robot
    News Feed

    Jun 27, 2006
    Likes Received:
    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 from listening to John's storytelling in this great conversation. Oh, and by the way, who invented the computer mouse? Are you sure?
    Tune in. Enjoy.
    Recently, I got to attend ICSE 2011 and, even better, I got to record a bunch of Expert to Expert conversations with the great Wolfram Schulte and some legends in various areas of computer science and engineering. What a treat! Thank you, Wolfram!



Share This Page