yuri gurevich

  1. Windows 7 C9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 3 of 3

    The great Link Removed is back!! Link Removed Yuri is a logician, computer scientist, and inventor of abstract state machines. He currently works in Microsoft Research (he's a member of Wolfram Schulte's RiSE team). This is the third and final part in our introductory series of lectures...
  2. Windows 7 C9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 2 of n

    Link Removed is back on C9!! Link Removed Yuri is a logician, computer scientist and inventor of abstract state machines. He currently works at Microsoft Research (he's a member of Wolfram Schulte's RiSE team). This is the second part in a series of lectures exploring the fundamental...