Find professors who actually fit you
Review faculty evidence in public, then use the workspace to turn your background into a shortlist, outreach, and meeting prep.
Find professors who actually fit you
Review faculty evidence in public, then use the workspace to turn your background into a shortlist, outreach, and meeting prep.

Stanford University · Symbolic Systems
David Dill is the Donald E. Knuth Professor in the School of Engineering at Stanford University, now emeritus. He earned his PhD from Carnegie Mellon University in 1987. His academic interests include the theory and application of formal verification techniques to system designs, which encompass hardware, protocols,…
PhdFit ranks faculty by your research interests, methods, and publications — grounded in their actual work, not templates.