David Dill is Lead Researcher, Blockchain at Facebook.
My research has focused on formal verification, computational biology, and voting technology and policy. My main focus now is formal verification. In formal verification, I worked on many different approaches and applications and made many contributions to that area in automata theory (timed automata), BDD-based model checking, explicit state model checking, CPU verification methods, and decision procedures for quantifier-free logic (SMT solvers). My google scholar profile shows publications in this area.
Dill has interests in the theory and application of formal verification techniques to system designs, which encompass hardware, protocols, and software and in computational systems biology. He has also done research in asynchronous circuit verification and synthesis, and in verification methods for hard real-time systems.
He retired in 2017 and is no longer taking new students. He is currently a researcher at Facebook on blockchain technology.
Sign up now to get your own personalized crypto world!Sign up
<iframe src="https://embed.block123.com/embed/s/545003154954.htm" style="border: none;" width="490" height="164" frameborder="0" scrolling="no" allowfullscreen></iframe>
- Hackathon Money 30 DAY VIRTUAL HACKATHON.
- David Canillas Racero Software architect, Blockchain.
- Wandora Box The first ever Wanchain mainnet DApp game.
- CoinistPodcast The conversations that you can't miss as a cryptoasset investor.
- LSAT Lightning Service Authentication Token.
- Connor Dempsey Marketing Lead at Messari.
- Emergents The First Game on Tezos Blockchain.
- Deimantas Spucys Buidler on Ethereum blockchain.
- LEND721 Lend and borrow Ethereum ERC-721 tokens.
- Giancarlo Otarola Frontend Software Engineer at Fleek.