### Teaching

### Current Term (Fall 2020)

(Coconino Community College) MAT 140 - College Mathematics with Algebra Review

### Past Teaching (Coconino Community College)

MAT 140 - College Mathematics with Algebra Review (Summer 2020, Fall 2020)

### Past Teaching (Lewis University)

DATA 500 / MATH 510 - Mathematics for Data Scientists (Fall 2017, Spring 2019, Spring 2020)

MATH 115 - Introduction to Mathematical Thinking (Spring 2019)

MATH 190 - Workshop: LaTeX (Fall 2018, Spring 2018, Spring 2019)

MATH 215 - Probability and Statistics Concepts for Educators (Fall 2018, Spring 2019, Fall 2019)

MATH 305 - Linear Algebra (Fall 2017, Fall 2018, Fall 2019)

MATH 306 - Advanced Linear Algebra (Spring 2018)

MATH 310 - Discrete Mathematics (Spring 2018 (2 sections))

MATH 314 - Applied Probability and Statistics (Fall 2017, Spring 2018)

MATH 320 - Theories of Geometry (Fall 2018)

MATH 440 - Abstract Algebra I (Fall 2018)

MATH 441 - Abstract Algebra II (Spring 2019)

MGSC 230 - Finite Mathematics (Spring 2019, Summer 2019, Spring 2020, Summer 2020)

MGSC 349 - Business Statistics (Spring 2020)

### Past Teaching (Quincy University)

MAT 099 - Intermediate Algebra (Fall 2014)

MAT 124 - Applied College Algebra (Fall 2016, Fall 2015, Spring 2015, Fall 2014)

MAT 125 - College Algebra (Spring 2016, Spring 2015)

MAT 142 - Pre-Calculus (Spring 2016, Spring 2015)

MAT 252 - Discrete Mathematics (Fall 2015)

MAT 260 - Mathematical Logic (Fall 2016, Fall 2015, Spring 2015)

MAT 329 - Linear Algebra (Spring 2017)

MAT 346 - Differential Equations (Spring 2017, Spring 2016)

MAT 350 - Numerical Analysis (Fall 2014)

MAT 353 - Number Theory (Fall 2016)

MAT 440 - Abstract Algebra (Independent Study) (Fall 2016, Spring 2016)

MAT 485 - Real Analysis (Spring 2017)

MAT 497 - Senior Seminar (Spring 2017)

### Past Teaching (Iowa State University)

Math 166 (Section C) - Calculus II (Instructor, Summer 2013)

Math 166 (Section Z) - Calculus II (Instructor, Spring 2013)

Math 140 (Section A) - College Algebra (Instructor, Fall 2012)

Math 140 (Section A) - College Algebra (Instructor, Summer 2012)

I served as Coordinator of the Mathematics Computer Labs from August 2010 through May 2012.

Math 533 - Cryptography (Grader, Spring 2010)

Math 140 (Section K2) - College Algebra (Instructor, Fall 2009)

Math 265 - Calculus III (Grader, Summer 2009)

Math 141/142 - Trigonometry and Analytic Geometry (Recitation, Spring 2009)

Math 150 - Discrete Mathematics for Business and Social Sciences (Recitation, Fall 2008)

### Research interests

Universal algebra - commutative & idempotent groupoids; Constraint Satisfaction Problems (CSP); Automated equational reasoning and model generation.

### Dissertation

Commutative, idempotent groupoids and the constraint satisfaction problem. (PDF) (Major Professor: Cliff Bergman)

### Papers

C. Bergman and D. Failing, Commutative, idempotent groupoids and the constraint satisfaction problem. Algebra Universalis 73, no. 3-4 (2015): 391-417. [PDF Preprint]

### Talks & Seminars

Structure Theory of CI-Groupoids of Bol-Moufang Type, AMS Central Section Meeting (#1090), Iowa State University, Ames, IA, April 27-28, 2013 [Slides]

CSP For Commutative, Idempotent Groupoids, AMS Western Section Meeting (# 1089), University of Colorado, Boulder, CO, April 13-14, 2013 [Slides]

Affinely self-generating sets and substitution sequences, (1 Dec 2008); ISU Combinatorics, Algebra, and Number Theory Seminar [Abstract]

### Academic History (Coursework at University of Illinois)

IS 457 - Introduction to Data Science (Fall 2018)

IS 502 - Libraries, Information and Society (Summer 2019)

IS 590BA2 - Business Analytics (Spring 2019)

LIS 452AG - Foundations of Information Processing (Fall 2013)

LIS 456AG - Information Storage and Retrieval (Spring 2014)

LIS 490DB - Introduction to Databases (Fall 2013)

LIS 501LE - Information Organization and Access (Spring 2014)

LIS 560LE - Digital Libraries (Spring 2014)

### Academic History (Coursework at Iowa State University)

Visiting member, Fields Institute, Toronto, ON, Canada;
Summer Thematic Program on the Mathematics of Constraint Satisfaction (Summer 2011)

ComS 331 - Theory of Computing (Fall 2012)

ComS 511 - Design & Analysis of Algorithms (Fall 2011)

Math 504 - Abstract Algebra I (Fall 2008)

Math 505 - Abstract Algebra II (Spring 2009)

Math 510 - Linear Algebra (Fall 2008)

Math 511 - Complex Analysis (Spring 2010)

Math 515 - Real Analysis I (Fall 2009)

Math 516 - Real Analysis II (Spring 2011)

Math 533 - Cryptography (Spring 2009)

Math 601 - Mathematical Logic I (Fall 2010)

Math 602 - Mathematical Logic II (Spring 2011)

Math 607 - Graph Theory (Fall 2009)

Math 615 - General Theory Of Algebraic Structures (Fall 2009)

Math 616 - General Theory Of Algebraic Structures II (Spring 2010)

Math 617 - Category Theory (Fall 2011)

Math 690A - Representation Theory (Spring 2009)