Steven D Johnson

	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	Home: 6716 E Bender Rd Bloomington IN 47401 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
- 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
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.