Steven D. Johnson, Professor of Computer Science		Schedule
	School of Informatics Indiana University Lindley Hall, Room 215 150 S. Woodlawn Bloomington, IN 47405-7104	Office: Lindley 330F tel: 812-855-2567 fax: 812-855-4829 net: sjohnson@cs.indiana.edu	Home: 6716 E Bender Rd Bloomington IN 47401 tel: 812-332-6960

• curriculum vitae [PDF], profile [HTM]
• research
  • IU/CS System Design Methods Laboratory
  • ERTS robotic vehicle for research and instruction in embedded systems
  • Daisy/DSI, a demand driven, parallel, symbolic computation system
  • IU Program in Pure and Applied Logic
• teaching
  • [P545] Embedded & Real-Time Systems (Fall 2007)
  • [P415/P515] Introduction to Verification (Spring 2008)
  • [C241] Discrete Structures for Computer Science
  • [B441/B541] Digital Hardware Design
  • [P442/P542] Digital Systems
• professional
  • Formal Methods Education Resources
• schedule
  • When my door is open, I welcome walk-in meetings in Lindlay 330F during afternoons.
  • For an individual appointment time, please send me email.

---

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