### Teaching

I recently started teaching with a style known as Inquiry Based Learning. In IBL, the emphasis is placed on two main ideas: deep engagement in rich mathematics, and opportunities to collaborate. I believe that providing more opportunities for these activities to occur in the classroom is best for my students, and I will be shifting my courses to reflect this over the coming years. If you're interested in the experiences of several novice IBL practitioners, I am a regular contributor at A Novice IBL Blog.

### Current Term (Fall 2017)

MATH 305 - Linear Algebra

MATH 314 - Applied Probability and Statistics

MATH 510 - Mathematics for Data Scientists

### 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. [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)

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)