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
academicpapers
algorithms
audience
bounded complexity
complexity
education
learning
lecture
logic
microsoft research
niner nation
research team
sequential algorithms
software development
yuri gurevich
