Bio

Interests (no particular order!): Information theory, biophysics, machine learning, the problem of inference, complex systems, economics, cryptography, crypto-finance, blockchain technology, formal verification, decentralized/distributed systems, emergent phenomena, systems biology, sustainability, permaculture, food security, neuroscience, the origin of life, mathematical origins of physics, music, positive psychology, red wine, cart wheels, dancing I work in software, research, education, and the garden. Currently Working On: - Tendermint - general purpose Byzantine Fault Tolerant state machine replication in any programming language - Cosmos - an internet of blockchains, built on Tendermint - Informal Systems - Rust and Formal Verification for Cosmos and other distributed systems - CoinCulture CryptoConsulting - research, consulting, and education in cryptocurrencies