Photo

Contact

Office: AS 125L
Office Hours: MWF 10:00a - 11:30a, TR 1:30p-2:30p
Email: dfailing at lewisu dot edu
Phone: 815-836-5318

Education

Curriculum Vitae
Ph.D. in Mathematics, Iowa State University, 2013

B.S. in Mathematics, B.A. in Philosophy and Religion, Truman State University, 2008, Cum Laude with minors in Asian Studies and International Studies

Graduate study in Library and Information Science, University of Illinois at Urbana-Champaign

Links

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)