Steven D Johnson
, Professor Emeritus of Computer Science
 
School of Informatics, Computing and Engineering
Indiana University
Bloomington
, IN 47405-7104
sjohnson@indiana.edu
curriculum vitae
[PDF]
, SICE profile
[HTM]
research
System Design Methods Laboratory
ERTS
robotic vehicle for research and instruction in
embedded systems
Daisy/DSI, a demand driven, parallel, symbolic computation system
teaching
[P545]
Embedded & Real-Time Systems
[P415/P515]
Introduction to Verification
[C241]
Discrete Structures for Computer Science
[B441/B541]
Digital Hardware Design
[P442/P542]
Digital Systems
professional
Formal Methods Education Resources
Honorary Member,
IFIP Working Group 10.5
(Design and Engirneering of Electronic Systems)
Sat Mar 7 20:25:12 EST 2015
[SDJ]