Following
Blockchain, cryptocurrency, and smart contracts pioneer. (RT/Fav/Follow does not imply endorsement). Blog: https://unenumerated.blogspot.com
Ethereum. Fable of the Dragon Tyrant (not mine but it's important): https://www.nickbostrom.com/fable/dragon.html Daylight savings time delenda est.
Astronomer, planetary scientist, cosmologist, astrophysicist, astrobiologist, science communicator, author, and professor. Known for research on the possibility of extraterrestrial life, assembly of the Pioneer plaque and the Voyager Golden Record, and advocating for the greenhouse effect hypothesis on Venus.
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.