Talks

• Talking to the Machine (PDF -- 2006 version, PDF -- 2007 version)

• Slides on Quantum Programming: Postscript, PDF

• Introduction to Abstraction, Design Patterns, and Types. Powerpoint slides.

• Here are the slides of a talk entitled Computer Science, Logic, and Religion (Islam) I gave at the Science and Spirit Association.

Indiana University Courses

• Introductory Courses:
  • C211/A591: Introduction to Computer Science (Fall 2000, Fall 2004, Fall 2005)
  • H211: Introduction to Computer Science - Honors ( Fall 2000, Fall 2002)
  • C212/A592: Introduction to Software Systems ( Fall 2006, Spring 2007, Fall 2007, Spring 2008 )
  • C311/A596: Programming Languages (Fall 2002)
• Upper Division Undergraduate / First Year Graduate Courses
  • P423/523: Compilers (Spring 2006)
• Graduate Courses:
  • B522: Programming Language Foundations ( Spring 2001, Spring 2002, Spring 2003, Spring 2005, Fall 2008)
  • B599: Teaching in Computer Science (Fall 2007)
  • B622: Programming Language Type Systems (Spring 2003)
  • Reading group on types and concurrency (Fall 2004)
  • B629: Topics in Programming Languages: Semantics/Security of Web Services (Spring 2005)
  • B629: Topics in Programming Languages: Quantum Programming (Fall 2005, Fall 2006,)

General links

University of Oregon Courses

• Introductory Courses:
  • CIS 210: Introduction to Computer Science I (Fall 1996)
  • CIS 211: Introduction to Computer Science II (Winter 1998), (Spring 1999), (Spring 2000)
  • I have developed the first version of the test used by incoming students for self-evaluation.
• Upper Division Undergraduate / First Year Graduate Courses
  • CIS 410/510: Hardware Specification and Verification (Fall 1997)
  • CIS 410/510: The Java Virtual Machine (Spring 1998)
  • CIS 425: Programming Languages (Fall 1999)
  • CIS 461/561: Introduction to Compilers (Winter 1996), (Winter 1997), (Fall 1998)
• Graduate Courses and seminars:
  • CIS 607: Category Theory (Spring 1997)
  • CIS 607: Denotational Semantics (Fall 1998)
  • CIS 607: Computability and Complexity from a Programming Perspective (Winter 1998)
  • CIS 607: Continuation-Passing Style; Logic (Fall 1999)
  • CIS 607: Topics in Programming Languages (Spring 1999)
  • CIS 624: Semantics of Programming Languages (Spring 1996), (Spring 1997), (Spring 1998), (Spring 1999), (Spring 2000)