Faculty Profile

Timothy Wahls

Associate Professor of Computer Science (2003)

Contact Information




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.


  • B.S., Iowa State University, 1990
  • M.S., 1992
  • Ph.D., 1995

2016-2017 Academic Year

Spring 2017

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..