EDN Admin
Well-known member
Meet http://www.csl.sri.com/people/rushby/" target="_blank Dr. John Rushby , a computer scientist who runs the http://www.csl.sri.com/programs/formalmethods/" target="_blank Formal Methods group within the http://www.csl.sri.com/" target="_blank Computer Science Laboratory at http://www.sri.com/" target="_blank 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 Johns 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 http://2011.icse-conferences.org/" target="_blank 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! <img src="http://m.webtrends.com/dcs1wotjh10000w0irc493s0e_6x1g/njs.gif?dcssip=channel9.msdn.com&dcsuri=http://channel9.msdn.com/Feeds/RSS&WT.dl=0&WT.entryid=Entry:RSSView:3833757c23624f769da39ef6017d1dcd
View the full article
View the full article
