Professor Emeritus of Computer Science
- 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.