# David Haines, Professor Emeritus

**Professor Haines specializes in Algebra.**

Dr. Haines doctoral thesis is “Quasi-orthogonal Completeness in p-rings.” p- rings are generalizations of Boolean rings, used in logic, computer science, electrical engineering, and other fields. His other mathematical interests include algebra, category theory, logic, set theory, foundations of mathematics, the theory of programming languages, applications of mathematics to biology, cryptography, and the theory of computation