# Michael Kinyon

## Professor

303-871-3288 (Office)

Clarence M. Knudson Hall, 2390 S. York St. Denver, CO 80210

### What I do

Professor of Mathematics

### Specialization(s)

quasigroups, semigroups, automated deduction

### Professional Biography

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.

#### Key Projects

- Moufang Semiloops
- Fourth Mile High Conference on Nonassociative Mathematics
- 3rd Mile High Conference on Nonassociative Mathematics

### Featured Publications

(2014). The structure of automorphic loops. Transactions of the American Mathematical Society.

. (2019). Conjugacy in inverse semigroups. Journal of Algebra, 533, 142-173.

. (2017). Four notions of conjugacy for abstract semigroups. Mathematical Proceedings of the Cambridge Philosophical Society, 147(6), 1169-1214.

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

. (2018). Decidability and independence of conjugacy problems in finitely presented monoids. Theoretical Computer Science , 731, 88-98.

. ### Presentations

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

. (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.

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

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

. (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