Dr. Christopher J. Fox
Undergraduate Program Director
Professor of Computer Science
James Madison University
Harrisonburg, VA 22807
Software Design and Construction [CS 446 Software Analysis and Design], Programming Languages [CS 430 Programming Languages], Data Structures and Algorithms [CS 240 Data Structures and Algorithms, CS 452 Algorithm Analysis], Logic [Phil 212 Symbolic Logic, CS 442 Logic in Computer Science].
Software engineering, particularly software design, including design notations, processes, methods, techniques, tools, and heuristics.
The application of temporal logic to program verification (model checking).
Concise Notes on Data Structures and Algorithms: Ruby Edition, bookboon.com, 2012. Book website. Note that this is an ebook that may be downloaded for free.
Introduction to Software Engineering Design, Addison-Wesley, 2007. Book website.
Concise Notes on Data Structures and Algorithms: Go Edition.
Logic Workbench (LWB), a suite of computer tools for teaching logic.
Copyright © 2012 by Christopher Fox