David L. Dill
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. 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. Biography Dill received an Bachelor of Science, S.B. degree in Computer Science and Electrical Engineering from the Massachusetts Institute of Technology, Cambridge, Massachusetts, Cambridge, MA, in 1979, an Master of Science, M.S. degree in Computer Science from Carnegie-Mellon University, Pittsburgh, Pennsylvania, Pittsburgh, PA, in 1982, and a Doctor of Philosophy, Ph.D. degree in Computer Science in 1987, also from Carnegie-Mellon University. After receiving his Ph.D., ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

Massachusetts Institute Of Technology
The Massachusetts Institute of Technology (MIT) is a private land-grant research university in Cambridge, Massachusetts. Established in 1861, MIT has played a key role in the development of modern technology and science, and is one of the most prestigious and highly ranked academic institutions in the world. Founded in response to the increasing industrialization of the United States, MIT adopted a European polytechnic university model and stressed laboratory instruction in applied science and engineering. MIT is one of three private land grant universities in the United States, the others being Cornell University and Tuskegee University. The institute has an urban campus that extends more than a mile (1.6 km) alongside the Charles River, and encompasses a number of major off-campus facilities such as the MIT Lincoln Laboratory, the Bates Center, and the Haystack Observatory, as well as affiliated laboratories such as the Broad and Whitehead Institutes. , 98 ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]