David L. Dill とは

David Lansing Dill(1957年1月8日 – 生まれ)は、正式な検証、電子投票セキュリティ、および計算システム生物学に貢献したコンピュータ科学者および学術者です。彼は、スタンフォード大学のコンピュータサイエンスの名誉教授であり、工学部の名誉教授であるDonald E. Knuth教授です。