Faculty Profile

Timothy Wahls

Associate Professor of Computer Science (2003)

Contact Information

on sabbatical 2014-15

wahlst@dickinson.edu

239 W Louther St
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