Harke , Tom ; Expected graduation:2008
o Contact Information:
Web page: http://www.cs.pdx.edu/~harke
Email: tom.harke at acm.org
o Technical Interests:
programming languages, theorem provers