Photo

Contact

Email: dfailing at nau dot edu
Phone: 630-939-0691

Education

Curriculum Vitae
Ph.D. in Informatics, Northern Arizona University, In Progress

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

ORCID iD icon

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)