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 complexity
computational complexity
education
learning
lecture series
liveaudience
logic
microsoft research
niner nation
research team
sequential algorithms
software engineering
yuri gurevich