0 Points David L Dill Summary Professor, Emeritus of Computer Science, Stanford University, Member of the National Academy of Engineering and American Academy of Arts and Sciences, IEEE and ACM Fellow. Mathematical Biology Theory & Formal Methods Past or current institution affiliations Stanford University Work details Professor Stanford University Department of Computer Science PeerJ Contributions