Join We88 Malaysia – the most trusted online casino in 2026. Enjoy 138 free spins, 100% welcome bonus, RM8 app bonus, crypto payments & fast withdrawals. Play slots, live casino & s...
Show More
Following
Winner of the 2013 Turing Award for imposing clear coherence on distributed computing systems. Devised important algorithms and developed formal modeling and verification protocols. Contributions have improved correctness, performance, and reliability of computer systems.
Author of over forty academic papers and patents. Editor of the 7th Conference on Automated Deduction. Collaboration with Kenneth Kunen.
Internet besserwisser.
Blockchain, cryptocurrency, and smart contracts pioneer. (RT/Fav/Follow does not imply endorsement). Blog: https://unenumerated.blogspot.com