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.
Steven Johnson
Professor Emeritus of Computer ScienceEmail: sjohnson@indiana.edu
Office:
Website: https://www.cs.indiana.edu/~sjohnson/
Education
- 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