David Dill es investigador principal de Blockchain en Facebook.
Mi investigación se ha centrado en la verificación formal, la biología computacional y la tecnología y la política de votación. Mi enfoque principal ahora es la verificación formal. En la verificación formal, trabajé en muchos enfoques y aplicaciones diferentes e hice muchas contribuciones a esa área en la teoría de autómatas (autómatas cronometrados), la comprobación de modelos basada en BDD, la comprobación explícita del modelo de estado, los métodos de verificación de CPU y la decisión procedimientos para la lógica libre de cuantificadores (solucionadores SMT). Mi perfil de google scholar muestra publicaciones en esta área.
Dill tiene intereses en la teoría y aplicación de técnicas formales de verificación a los diseños de sistemas, que abarcan hardware, protocolos y software y en biología de sistemas computacionales. También ha realizado investigaciones en la verificación y síntesis de circuitos asíncronos, y en métodos de verificación para sistemas en tiempo real difíciles.
Se retiró en 2017 y ya no está tomando nuevos estudiantes. Actualmente es investigador en Facebook sobre tecnología blockchain.
