David Dill is a Professor Emeritus of Computer Science at Stanford University, where they were part of the faculty for 30 years before retiring in October 2017. They obtained a PhD in Computer Science from Carnegie Mellon University between 1981 and 1987. At Meta from 2018 to 2023, they led the Move Prover development for the Libra/Diem blockchain project and later focused on security and privacy. David also co-founded 0-In Design Automation, which introduced innovative hardware verification technologies and was acquired by Mentor Graphics in 2004. Currently, they are engaged in learning about AI and related topics.
This person is not in the org chart
This person is not in any teams
This person is not in any offices