Steven D. Johnson
Professor of Computer Science
- Phone
- (812) 855-2567
- Fax
- (812) 855-4829
- Office
- Lindley Hall, Room 330F
- Web Site
- www.cs.indiana.edu/~sjohnson
Research Interests
Design methods for systems, formal verification and synthesis, embedded and real-time systems, parallel symbolic computation, programming languages.
Research Projects
Year of ERTS. A collection of experiments based on the ERTS robotic vehicle.
Education
- Ph.D. in Computer Science, Indiana University, 1983
- M.A. in Mathematics, Indiana University, 1972
- B.A. In Mathematics and Russian, Depauw University, 1970.
Biography
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.
His design derivation formalism for architectural refinement embodies the core results of this methodological research. Prof. Johnson also has a long-standing interest in functional programming languages and parallel symbolic processing. These interests are reflected in the Daisy/DSI programming system—one of the earliest "lazy" languages. Methodological research in systes has led to numerous experimental collaborations in robotics, most recently the ERTS autonomous vehicle.
Prof. Johnson helped found the journal Formal Methods for System Design. He helped establish and subsequently chaired the international IFIP WG 10.5 Special Interest Group on Formal Design and Verification Methods for Correct Hardware-like Systems (SIG-CHARME). He has served on numerous program committees, most notably the IFIP Conference on Computer Hardware Description Languages and their Applications (CHDL, which he chaired in 1995), the CHARME conference, and the International Conference on Formal Methods in Computer Aided Design (FMCAD, which he co-chaired in 2000).
Prof. Johnson has directed eight PhDs. He chaired the Indiana University Computer Science Department from 1993 to 1995, was a Visiting Scholar at the University of Cincinatti in 1996, and a Visiting Scientist at the National Aeronautics Institute in 2003.
