Navigation section
abstract state machines
About this tag
Abstract state machines (ASM) are a formal method for specifying and analyzing algorithms, invented by logician and computer scientist Yuri Gurevich, who works at Microsoft Research. On WindowsForum, discussions focus on Gurevich's C9 lecture series on algorithms and computational complexity, where he explores the axiomatic definition of sequential algorithms and bounded complexity. The tag covers foundational computer science topics related to ASM theory, algorithm analysis, and computational complexity, with an emphasis on Gurevich's research and educational content. These threads are relevant for developers and computer scientists interested in formal methods and algorithm theory.
-
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...- News
- Thread
- abstract state machines academic papers algorithms audience bounded complexity complexity education learning lecture logic microsoft research niner nation research team sequential algorithms software development yuri gurevich
- Replies: 0
- Forum: Live RSS Feeds
-
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...- News
- Thread
- abstract state machines algorithms complexity computer science education lecture logic microsoft research software development yuri gurevich
- Replies: 0
- Forum: Live RSS Feeds