Steven  Johnson

Steven Johnson

Professor Emeritus of Computer Science

Contact Information


  • Ph.D. in Computer Science at Indiana University, 1983
  • M.A. in Mathematics at Indiana University, 1972
  • B.A. in Mathematics and Russian at DePauw University, 1970


Steven D. Johnson was born in 1948. He resumed graduate study in 1979 after two years working in computer-aided design at Bell Labs in Holmdel, New Jersey. His dissertation, Synthesis of Digital Designs from Recursion Equations , was an ACM Distinguished Dissertation in 1984. It marked the beginning of a career interest in formal methods for system design.

Research Areas