Steven D Johnson, Professor of Computer Science		Schedule
	School of Informatics and Computing Indiana University Lindley Hall, Room 215 150 S. Woodlawn Bloomington, IN 47405-7104	Office: Lindley 330F 812-855-2567 (office) 812-855-4829 (fax) sjohnson@cs.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
  • IU Program in Pure and Applied Logic
• teaching
  • [P545] Embedded & Real-Time Systems (Fall 2009)
  • [P415/P515] Introduction to Verification (Fall 2009)
  • [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)

  ---

  Fri Jan 2 19:37:53 EST 2009 © [SDJ]