David L. Dill
id:
david-l-dill-218-4684492
title:
David L. Dill
text:
David Lansing Dill is a computer scientist and academic noted for contributions to formal verification, electronic voting security, and computational systems biology. In 2013, Dill was elected as a member into the National Academy of Engineering for the development of techniques to verify hardware, software, and electronic voting systems. He is the Donald E. Knuth Professor, Emeritus, in the School of Engineering and Professor, Emeritus, of Computer Science at Stanford University.
brand slug:
wiki
category slug:
encyclopedia
description:
American computer scientist
original url:
https://en.wikipedia.org/wiki/David_L._Dill
date created:
2017-09-12T02:29:47Z
date modified:
2024-09-13T07:23:24Z
main entity:
{"identifier":"Q41187382","url":"https://www.wikidata.org/entity/Q41187382"}
image:
fields total:
13
integrity:
15