I earned my BS, MS and PhD degrees from the University of Utah in 1986, 1988 and 1991, respectively. From 1992 to 2006, I was a professor at Indiana University South Bend. I have been a professor at DU since 2006. I am also adjunct full professor at the Open University of Portugal and a full member of the Center for Experimental and Stochastic Mathematics of the University of Lisbon.

Degree(s)

Ph.D., Mathematics, University of Utah, 1991

MS, Mathematics, University of Utah, 1988

BS, Mathematics, University of Utah, 1986

Professional Affiliations

American Mathematical Society

Research

My research specialty is algebra, especially quasigroups/loops and semigroups/monoids. I am especially interested in the use of automated deduction in mathematics. Most of what I do involves coaxing computers into proving theorems for me.

Areas of Research

quasigroups and loops

semigroups and monoids

noncommutative lattices

and applications of automated deduction to all of the above

Key Projects

Moufang Semiloops

Fourth Mile High Conference on Nonassociative Mathematics

3rd Mile High Conference on Nonassociative Mathematics

Featured Publications

Kinyon, M., Kunen, K., Phillips, J. D., & Vojtechovsky, P. (2016). The structure of automorphic loops. Transactions of the American Mathematical Society.

Araujo, J., Kinyon, M., Konieczny, J., & Malheiro, A. (2017). Four notions of conjugacy for abstract semigroups. Mathematical Proceedings of the Cambridge Philosophical Society, 147(6), 1169-1214.

Kinyon, M. (2019). Proof simplification and automated theorem proving. Philosophical Transactions of the Royal Society A.: Mathematical, Physical and Engineering Sciences, 377(2140), 9.

Araujo, J., Kinyon, M., Konieczny, J., & Malheiro, A. (2018). Decidability and independence of conjugacy problems in finitely presented monoids. Theoretical Computer Science , 731, 88-98.

Presentations

Kinyon, M. (2016). Loops and the AIM Conjecture: History and Progress. 1st Conference on Artificial Intelligence and Theorem Proving AITP 2016. Obergurgl, Austria.

Kinyon, M. (2015). Automorphic loops and their associated permutation groups. LMS/EPSRC Durham Symposium: Permutation groups and transformation semigroups. University of Durham, UK: LMS/EPSRC Durham Symposium.

Kinyon, M. (2017). Loops and their multiplication groups. All Kinds of Mathematics Reminds Me of You. University of Lisbon: University of Lisbon.

Kinyon, M. (2017). Proof simplification and Prover9. Simplicity of Proofs in Automated Reasoning. Caparica, Portugal: Nova University of Lisbon.

Kinyon, M. (2018). Nonassociative right hoops. Non-commutative Structures . Portoroz, Slovenia: University of Primorska.

Awards

United Methodist Church University of Denver Teacher/Scholar of the Year 2013, United Methodist Church/University of Denver

Pedro Nunes Award for Excellence in Online Teaching, Universidad Aberta

Go to the graduate admission application to submit your information. For information on admission requirements, visit the graduate academic programs page and locate your program of interest.