David Dill @ 60 Workshop at CAV 2017
David Dill @ 60 Workshop
Professor David L. Dill, a pioneer in formal verification, turns 60 in 2017. A workshop in his honor is being held alongside the Computer Aided Verification (CAV) conference on July 24, 2017 in Heidelberg, Germany. This page provides the details about the workshop including a list of invited speakers.
David L. Dill is the Donald E. Knuth Professor in the School of Engineering and Professor of Computer Science and, by courtesy, Electrical Engineering at Stanford University. He has been on the faculty at Stanford since 1987. He has an S.B. in Electrical Engineering and Computer Science from Massachusetts Institute of Technology (1979), and an M.S and Ph.D. from Carnegie-Mellon University (1982 and 1987). Prof. Dill has research interests in a variety of areas, including computational systems biology and the theory and application of formal verification techniques to system designs, including hardware, protocols, and software. He has also done research in asynchronous circuit verification and synthesis, and in verification methods for hard real-time systems. From July 1995 to September 1996, he was Chief Scientist at 0-In Design Automation, and, since 2016, he has been Chief Scientist at Locuspoint Networks, LLC. Professor Dill has won numerous award for his research including an ACM Distinguished Dissertation Award in 1988, a Presidential Young Investigator award from the NSF in 1988, the inaugural CAV award in 2008, and an Alonzo Church Award in 2016. He has received many best paper awards including an ACM CCS Test of Time Award in 2016. He was elected to be a Fellow of the IEEE in 2001 and a Fellow of the ACM in 2005. In 2013, he was elected to the National Academy of Engineering and the American Academy of Arts and Sciences.