Some of my course materials (including slides for lectures) are maintained off of the links below. In some cases, only partial lecture slides are posted for students. The full version of the slides are available to instructors and others outside of KSU upon request.

  • Logical Foundations of Programming -- Hoare Logic, Natural Deduction, Prolog. Available material includes lecture slides, exercises, and other supporting material.
  • High Assurance Software and Systems -- Requirements Engineering, Hazard Analysis, Risk Assessment, Introduction to the Architecture and Analysis Definition Language. Available material includes lecture slides, lecture videos, class projects and other supporting material.
  • Software Specifications -- Introduction to Alloy, Introduction to OCL and USE, Introduction to SPARK Ada.