Top Results for Concurrency
Robin Milner was a British computer scientist whose work joined programming language design with mathematical reasoning about computation. He developed ML to support theorem proving in the LCF system. Its polymorphic type inference allowed the language to work out many types automatically while supp...
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
