Faculty Profile

Timothy Wahls

Associate Professor of Computer Science (2003)

Contact Information

wahlst@dickinson.edu

Tome Scientific Building Room 244
717.245.1743
http://users.dickinson.edu/~wahlst

Bio

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.

Education

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