Steven D Johnson, Professor Emeritus of Computer Science
	School of Informatics & Computing Indiana University Lindley Hall, Room 215 150 S. Woodlawn Bloomington, IN 47405-7104	Office: Lindley 428E sjohnson@indiana.edu

• curriculum vitae [PDF], profile [HTM]
• research
  • IU/CS System Design Methods Laboratory
  • ERTS robotic vehicle for research and instruction in embedded systems
  • Year of ERTS project.
  • 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 Jan 19 14:22:29 EST 2013 © [SDJ]