HOME    COMMUNITY    BLOGS & FORUMS    Conversation Central Podcast
Conversation Central Podcast

The Impact of Commercializing Research

Posted by rjamison on June 15th, 2010

Guest: Randy Bryant, Current Phil Kaufman Award Winner; Dean and University Professor, School of Computer Science, Carnegie Mellon University

Host: Rich Goldman, Vice President, Corporate Marketing and Strategic Alliances, Synopsys

Randy Bryant talks about the research that he conducted which lead to his development of Formal Verification.  Listen to his personal experiences and expertise with Formal Verification, how he thinks it can be applied to software, and his knowledge about the rise of assertion in Formal Verification.

Audio clip: Adobe Flash Player (version 9 or above) is required to play this audio clip. Download the latest version here. You also need to have JavaScript enabled in your browser.

If your browser doesn’t support Flash, click here to download the show and play it locally.

Links to topics referenced in the show:

Phil Kaufman Award

This radio show was originally recorded at the Synopsys exhibition booth at the Design Automation Conference (DAC) in Anaheim, California on June 15, 2010.

Share and Enjoy:
  • del.icio.us
  • Digg
  • Facebook
  • Google Bookmarks
  • Print
  • Twitter
  • StumbleUpon
  • LinkedIn
  • RSS