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 393 Constraint Programming
Topics to be announced when offered. Possible topics include: Compiler Design, Artificial Life, Biologically Inspired Computing, Cyber Security, Machine Learning, and others depending upon faculty and student interest. Prerequisite dependent upon topic. One-half or one course credit..