• Contact Info

DeMeo, William J Visiting Asst Professor


Research Areas research areas


research overview

  • William DeMeo specializes in universal algebra, or more specifically, the exploration and discovery of general algebraic and relational structures and equational theories. When not proving properties of these structures or investigating their applications, Dr. DeMeo works with computer algebra systems and proof assistants to gain deeper insights and make new discoveries in general algebra. Sometimes the latter activity leads to the production of useful software or to advances in algorithms and complexity theory.


  • universal algebra, lattice theory, algebraic logic, complexity theory, model theory, category theory, functional programming, theoretical computer science

International Activities