Matt Valeriote

Department of Mathematics and Statistics
McMaster University
1280 Main Street West
Hamilton, Ontario
Canada L8S 4K1

Phone: (905) 525-9140, ext. 23402
Office: Hamilton Hall Room 323

Teaching Schedule, Fall 2020
Course Title Course Number Room Semester
Time Course Information
Abstract AlgebraMATH 3GR3onlineFallLectures: Mo, Th, 12:30-1:20pm, Tu, 1:30pm-2:20pm
Tutorial: We, 1:30-2:20pm
click here
Introduction to Mathematical LogicMATH 4L03onlineFallMo, Th, 9:30-10:20am, Tu, 10:30-11:20amclick here
Teaching Schedule, Winter 2021
Introduction to Quantum ComputingMATH 3QC3DSB/B105WinterMo, We 2:30-3:20pm, Fr 4:30-5:20pmclick here
Fall Semester Office Hours
10:30am to noon on Mondays and Thursdays and by appointment

Research Interests:  Mathematical logic, universal algebra and computational complexity

I am involved in the study and classification of general algebraic systems. This area of mathematics is often called Universal Algebra and got its start in the 1930s. In order to compare and classify algebras they are often grouped together according to the equations that they satisfy.

Borrowing and expanding on techniques and ideas from mathematical logic, classical abstract algebra, and also from newer branches of mathematics such as lattice theory and category theory, powerful tools have been developed to help organize and understand the structure of varieties (classes of algebras defined by equations) and the algebras they contain. Recent advances in the field have opened up a new area of study dealing with the local structure of finite algebras. This new local theory of finite algebras has not only been useful in solving several longstanding problems but it has also suggested a number of new and challenging research problems.

My current research program involves studying the computational complexity of subclasses of the Constraint Satisfaction Problem (CSP).   Many well known complexity problems, such as graph coloring or Boolean satisfiability, can be naturally presented within the vast CSP framework.  Recent work of Bulatov, Jeavons, Krokhin and others has established a strong connection between the CSP and universal algebra and some of the important open problems in the field can be expressed in purely algebraic terms.

Publication list and online papers

Department of Mathematics and Statistics Home Page
McMaster University Home Page