生物:David(@whileydave)于2005年毕业于伦敦帝国理工学院(Imperial College London),获得博士学位,在2022年加入ConsenSys之前,他是威灵顿维多利亚大学(Victoria University of Wellington)的a/教授。大卫的博士论文是关于C语言指针分析的高效算法,他的技术后来被纳入GCC。他的兴趣是编程语言、编译器和静态分析。
自2009年以来,David一直在开发Whiley编程语言(Whiley.org),该语言专门用于简化程序验证。在此之前,David开发了Java编译器工具包(JKit),这是一种开源Java编译器,旨在简化静态分析。大卫之前在新泽西州贝尔实验室实习,在那里他为FPGA编写编译器;他还曾在英国的IBM Hursley与AspectJ开发团队合作开发分析系统。