Academic Courses Taught

• Computer-Oriented Logic.

  
  Undergraduate/Graduate Course, Columbia University, First Term 1968-69, 1969-70.
   

• Combinatory Logic and Computations.

  
  Graduate Course, Yale University, First Term, 1968-69, 1969-70.
   

• Introduction to Discrete Structures

  
  [Logic and modern algebra with applications.] Sophomore Course, Rutgers University, First Term 1970-71, 1971-72, 1972-73.
   

• Non-numerical Programming.

  
  Sophomore Course, Rutgers University, Second Term 1970-71, 1971-72, 1972-73.
   

• Theory of Computation.

  
  Graduate Course, Rutgers University, First Term 1970-71, 1971-72, 1972-73, 1973-74.
   

• Applications of Logic in Computer Science.

  
  Graduate Seminar, Rutgers University, Second Term, 1970-71.
   

• Computational Complexity.

  
  Graduate Seminar, Rutgers University, First Term 1972-73, 1973-74.
   

• Topics in the Theory of Computation.

  
  Senior Seminar, Rutgers University, Second Term 1972-73.
   

• Advanced Programming Techniques.

  
  Graduate Course, Rutgers University, First and Second Term 1973-74.
   

• Correctness of Programs.

  
  Graduate Course, University of Arizona, First Term 1974-75.
   

• Computational Complexity.

  
  Undergraduate/Graduate Workshop, University of Arizona, First Term 1974-75.
   

• Analysis of Algorithms.

  
  Graduate Course, University of Arizona, Second Term 1974-75, 1975-76.
   

• Recursive Function Theory.

  
  Graduate Course, University of Arizona, Second Term, 1974-75.
   

• Introduction to Computing.

  
  Undergraduate Course, University of Arizona, First and Second Term 1976-77, 1977-78.
   

• Workshop, Analysis of Algorithms.

  
  Undergraduate/Graduate Course, University of Arizona, First Term 1976-77.
   

• Data Structures.

  
  Graduate Course, University of Arizona, Second Term 1976-77, 1977-78.
   

• Program Correctness, Semantics of Programming Languages, Logic and Topology.

  
  Advanced Graduate Independent Study, University of Arizona, First and Second Term 1975-76, 1976-77.
   

• Theory of Programming Languages.

  
  Graduate Course, University of Arizona, First and Second Term 1977-78.
   

• Supervision of Doctoral Research of D E Britton and R B McLaughlin. University of Arizona.

  
   

• Introduction to Data Structures and Programming Systems I.

  
  Graduate Course, Virginia Tech, First Quarter 1978-79, 1979-80.
   

• Introduction to Data Structures and Programming Systems, II.

  
  Graduate Course, Virginia Tech, Second Quarter 1978-79, 1979-80.
   

• Software Engineering--Applied Program Verification.

  
  Graduate Course, Virginia Tech, Third Quarter 1979-80.
   

• Advanced Software Engineering Seminar

  
  Senior Seminar including delivering software to a commercial customer, Carnegie Mellon University, Second Term 1997-1998.
   

• Programming Languages

  
  Junior/Senior course on functional and object oriented programming. Taught the object oriented design and implementation fragment of the course. Carnegie Mellon University, Second Term 1997-1998.
  

• Fundamentals of System Development I

  
  Junior Lecture course in Object Oriented Analysis and Design for information systems students in the Department of Social and Decision Sciences. Carnegie Mellon University, First Term 1998-1999.
  

• Object Oriented Analysis and Design

  
  Graduate Course for students in a Master of Information Systems Program. Carnegie Mellon University, Second Term 1998-1999, First and Second Term 199-2000.
  

• Java

  
  Graduate mini-course for Master of Information Systems students. Carnegie Mellon University, Second Term 1998-1999.
  

• Telecommunications Security

  
  Graduate mini-course for Master of Information Systems students. Carnegie Mellon University, Second Term, 1998-1999, Second Term 1999-2000, Second Term 2000-2001
  

• Object Oriented Programming in C++

  
  Graduate course for Master of Information Systems students. Carnegie Mellon University, First Term 1999-2000, First and Second Terms 2000-2001
  

• Open Source Technologies: Linux

  
  Graduate mini-course for Master of Information Systems studens. Carnegie Mellon University, First Term, 2001-2002. (Introduced new course.)
  

• Open Source Technologies: Apache

  
  Graduate mini-course for Master of Information Systems students. Carnegie Mellon University, First Term, 2001-2002.

• System Synthesis

  
  Two semester graduate project course for Heinz School students designed to be a capstone experience for their graduate work. During academic year 1999-2000 a working prototype of a computer system to manage the voter registration records of the county and to assist election judges was completed and delivered to the county elections department
  

• Independent Study

  
  Supervised the independent student work for a total of 10 student semesters of work.t
  

Dissertation Directed

Dianne E Britton, Incremental Synthesis of Inductive Assertions for Program Verification. PhD Dissertation, University of Arizona, December 1977.