Steven D. Johnson, Professor		Schedule
Computer Science Department 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 key: pgp, GnuPG	Home: 6716 E Bender Rd Bloomington IN 47401 tel: 812-332-6960

• curriculum vitae [PDF]
• new
  • robotic vehicle for research and instruction in embedded systems
• research
  • IU/CS System Design Methods Laboratory
  • 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
  • Individualized projects (Y391, C790, etc).
• professional
  • Formal Methods Education Resources
  • AFM08: 3^rd Workshop on Automated Formal Methods. 14 July 2008, Princeton, NJ.
  • FMCAD'08: International Conference on Formal Methods in Computer Aided Design. November 2008, Portland Oregon.
  • IFIP WG 10.5: IFIP Working Group 10.5 on Design and Engineering of Electronic Systems.
• 
  

  When my door is open, I welcome walk-in meetings in Lindlay 330F during afternoons. For an individual appointment time, please send me email.

  ---

  rev. Tue Oct 21 13:15:33 EDT 2008 © [SDJ]