ICSE 2011: John Rushby - Formal Methods, Verification and Some Computing History
- Posted: Jun 15, 2011 at 10:19 AM
- 40,071 Views
- 3 Comments
Loading User Information from Channel 9
Something went wrong getting user information from Channel 9
Loading User Information from MSDN
Something went wrong getting user information from MSDN
Loading Visual Studio Achievements
Something went wrong getting the Visual Studio Achievements
Right click “Save as…”
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 fields of computer science and engineering which you will learn about by listening to John's great storytelling in this awesome conversation. Wolfram Schulte and John Rushby!! Oh, and by the way, who invented the computer mouse, anyway? 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!