Top Results for Concurrency
Robin Milner was a British computer scientist who made foundational contributions to theoretical computer science and programming language design. He developed the ML programming language to support theorem proving in the LCF system, which introduced polymorphic type inference and functional program...
Why this score?
Turing Award, ML, type inference, LCF, pi-calculus; unusually broad influence across languages, theorem proving, and concurrency.
Scoring methodology
Maurice Herlihy is a computer scientist at Brown University whose work established foundational concepts in concurrent and distributed computing. With Jeannette Wing, he defined linearizability, the standard correctness condition for concurrent objects, and with others introduced wait-free synchroni...
Why this score?
Linearizability and wait-free synchronization are foundational; major distributed and concurrent computing reputation.
Scoring methodology
