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]