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.
COMP 132 Computer Science II w/Lab
A problem-solving course that utilizes object-based software design using Java. Topics include code modularity and reusability, recursion, data storage, and the empirical and theoretical comparison of elementary algorithms. The lab component focuses on programming as a tool for solving problems and simulating real-world events. Prerequisite: 131 or one year of object oriented programming in Java and instructor's permission. 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 378 Database Systems
A study of the conceptual, technical and social issues involved in organizing, storing and accessing large volumes of data. Topics include data modeling, relational data base design, relational algebra, data definition languages and data manipulation languages. Prerequisites: 232 and MATH 211. Offered in even numbered spring semesters.