placeholder image
  • Contact Info
Publications in VIVO

Mayr, Peter Associate Professor


Research Areas research areas


research overview

  • My main research area is Universal Algebra with connections to Logic and Computer Science. General algebraic structures come up for example in connection with Constraint Satisfaction Problems (CSP) which generalize Boolean satisfiability, graph coloring, and scheduling problems. A typical question is then how to classify and represent these structures and how to compute with them efficiently.


  • universal algebra, computational complexity


selected publications


courses taught

  • MATH 2001 - Introduction to Discrete Mathematics
    Primary Instructor - Spring 2018 / Spring 2020 / Fall 2020
    Introduces the ideas of rigor and proof through an examination of basic set theory, existential and universal quantifiers, elementary counting, discrete probability, and additional topics. Credit not granted for this course and MATH 2002.
  • MATH 2135 - Introduction to Linear Algebra for Mathematics Majors
    Primary Instructor - Fall 2018 / Spring 2019 / Fall 2019
    Examines basic properties of systems of linear equations, vector spaces, inner products, linear independence, dimension, linear transformations, matrices, determinants, eigenvalues, eigenvectors and diagonalization. Intended for students who plan to major in Mathematics. Degree credit not granted for this course and MATH 2130 or APPM 3310. Formerly MATH 3135.
  • MATH 6010 - Computability Theory
    Primary Instructor - Spring 2019 / Spring 2021
    Studies the computable and uncomputable. Shows that there are undecidable problems and from there builds up the theory of sets of natural numbers under Turing reducibility. Studies Turing reducibility, the arithmetical hierarchy, oracle constructions and end with the finite injury priority method. Department enforced prerequisite: MATH 6000.
  • MATH 6140 - Algebra 2
    Primary Instructor - Spring 2018
    Studies modules, fields and Galois theory. Department enforced prerequisite: MATH 6130. Instructor consent required for undergraduates.
  • MATH 6270 - Theory of Groups
    Primary Instructor - Fall 2019
    Studies nilpotent and solvable groups, simple linear groups, multiply transitive groups, extensions and cohomology, representations and character theory, and the transfer and its applications. Department enforced prerequisites: MATH 6130 and MATH 6140. Instructor consent required for undergraduates.


International Activities

Other Profiles