Here is a listing of courses I teach regularly. Only links to the courses offered for the present semester are active.

CP SC 215: Tools and Techniques for Software Development (also Software Development Foundations)

CP SC 372: Introduction to Software Development (also Software Engineering)

CP SC 828: Theory of Programming Languages

CP SC 872: Software Specification and Design

CP SC 950 (Sitaraman Section): Software Engineering Seminar

If you are a graduate or undergraduate student at Clemson and would like to be involved in RESOLVE research or development, you may wish to consider taking one of the above regular courses or the research seminar which I offer every semestet. Of course, you are always welcome to stop by my office or talk with one of the students in the group.

Various software engineering tools, including the RESOLVE compiler and verifier and other mathematical reasoning tools are used in these courses. Please follow the research link to use or to get involved in developing these tools.