David Lansing Dill (born January 8, 1957) is a computer scientist and academic noted for contributions to formal verification, electronic voting security, and computational systems biology.
Born |
8 January 1957 (age 68)
|
Zodiac | Capricorn |
Tags | Add tag |