Tome Scientific Building Room 244
His main research interests are in specification language design and semantics, and in the execution of formal specifications using constraint logic programming techniques. His teaching specializations are programming languages and software engineering.
COMP 131 Computer Science I w/Lab
An introduction to Computer Science as a major scientific discipline. Special emphasis is placed on problem solving and experimentation via programming in Java. Topics covered include the design of objects and the use of flow-of-control constructs, along with techniques for testing software. Three hours classroom and two hours laboratory a week. This course fulfills either the Lab Sciences (Division III) distribution requirement or QR graduation requirement. Offered every semester.
COMP 491 Fall Senior Seminar
Students define and begin a year-long project. Written and oral presentation of project progress reports will be required. Contemporary social, ethical, technical and philosophical issues in computer science will also be examined. Prerequisite: Senior standing. Offered every fall.