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