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...
abstract state machines
academic papers
algorithms
bounded complexitycomputationalcomplexity
education
learning
lecture series
live audience
logic
microsoft research
niner nation
research team
sequential algorithms
software engineering
yuri gurevich
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...