VanDieren's mathematics research is in Model Theory, a branch of Mathematical Logic. Her specialization is in abstract elementary classes. In her Ph.D. thesis she introduced the concept of tameness for abstract elementary classes and began the development for a classification theory for these classes.
In addition to model theory research, VanDieren is interested in pedagogical research, particularly on interdisciplinary honors courses and on student understanding of multivariable calculus concepts. A Pittsburgh Post Gazette article describes her research, outreach activities and how she finds beauty in mathematics.
Publications and Preprints
Rutgers, Fall 2005VanDieren with Michael Morley, one of the pioneers of Model Theory
 R. Grossberg, A. Kolesnikov, I. Tomasic, M. VanDieren. The equality S1=D=R. Mathematical Logic Quarterly. 49 (2003) 115128.
 M. VanDieren. Categoricity in abstract elementary classes with no maximal models. Annals of Pure and Applied Logic. 141 Issues 12, (2006) 108147.
 R. Grossberg and M. VanDieren. Shelah's Categoricity Conjecture from a successor for tame abstract elementary classes. Journal of Symbolic Logic 71 Issue 2, (2006) 553568.
 R. Grossberg and M. VanDieren. Galoisstability of tame abstract elementary classes. Journal of Mathematical Logic. 6 no. 1 (2006) 2549.
 J. Baldwin, D. Kueker and M. VanDieren. Stability transfer for tame abstract elementary classes. Notre Dame Journal of Formal Logic. 4 no. 2 (2006) 291298.
 R. Grossberg and M. VanDieren. Categoricity from one successor cardinal in tame abstract elementary classes. Journal of Mathematical Logic. 6 no. 2 (2006) 181201.
 H. Pinson and M. VanDieren. The Creative Process: Risktaking in an interdisciplinary honors course. In R. Bosch, D. McKenna, R. Sarhangi (Eds.) Bridges: Mathematics, Music, Art, Architecture, and Culture, Tessellations Publishing, Phoenix, Arizona, USA, 2012 pp. 515518.
 M. VanDieren. Erratum to ``Categoricity in abstract elementary classes with no maximal models'' [Ann. Pure Appl. Logic 141 (2006) 108147.] Annals of Pure and Applied Logic. 164 (2013), pp. 131133. DOI 10.1016/jpal.2012.09.003. Final version published online: 26OCT2012.
 H. Pinson and M. VanDieren. The taxonomy of significant learning in a math, music, and art course. In P. Hughes, J. Munoz, and M. Tanner (Eds.) Perspectives in Interdisciplinary and Integrative Studies, Texas Tech University Press, Lubbock TX, USA, 2015 pp. 150167.
 R. Grossberg, A. Villaveces and M. VanDieren. Uniqueness of limit models in classes with amalgamation. Mathematical Logic Quarterly. 62 no. 45 (2016), pp 367382. Preprint. DOI 10.1002/malq.201500033.
 M. VanDieren. Visualizing and Estimating the Mass of a Solid Using Multicolored Blocks. In J. Libertini and J. Barnes (Eds). Tactile Learning Activities in Undergraduate Mathematics: A Recipe Book for the Classroom. To appear. Published by the MAA.
 M. VanDieren. Effectiveness of Online Advising on Honors Student Retention and Engagement. International Journal of Information and Communications Technology Education. 12 no. 2 (2016), pp 5167. 10.4018/IJICTE.2016040105 Published version.
 M. VanDieren. Symmetry and the Union of Saturated Models in
Superstable Abstract Elementary Classes. Annals of Pure and Applied Logic. 167 (2016), pp 395407. DOI 10.1016/j.apal.2015.12.007. Final version.
 M. VanDieren. Superstability and Symmetry. Annals of Pure and Applied Logic. 167 no.12 (2016), pp 11711183. DOI 10.1016/j.apal.2016.05.004. Final version.
 M. VanDieren and S. Vasey. Symmetry in Abstract Elementary Classes with Amalgamation. Archive for Mathematical Logic. 56 no. 17 (2017), pp 423452. Preprint.
 M. VanDieren, D. MooreRusso, J. Wilsey, and P. Seeburger. Students' Understanding of Vectors and Cross Products: Results from a Series of Visualization Tasks. To appear in Proceedings of the 20th Annual Conference on Research on Undergraduate Mathematics Education.
 W. Boney, R. Grossberg, M. VanDieren, and S. Vasey. Superstability from
Categoricity in Abstract Elementary Classes. Accepted for publication in the Annals of Pure and Applied Logic. Preprint.
 W. Boney and M. VanDieren. Limit Models in Strictly Stable Abstract Elementary Classes. First posted August 19, 2015. Under review. Preprint.
Funding NSF Division of Undergraduate Education Grant: "Collaborative Research: Improving Conceptual Understanding of Multivariable Calculus Through Visualization Using CalcPlot3D." CoPI. Sept 2015August 2018. $134,601.
 Amazon Web Services in Education Grant to house a WeBWorK server for RMU students. 20152016. $6000.
 AWMNSF Mentoring Travel Grant: "Developing a Tool to Measure Student Understanding of Multivariable Calculus Concepts." Spring 2015. $1500.
 Amazon Web Services in Education Grant to house a WeBWorK server for RMU students. 20142015. $6000.
 Professional Experience Program (PREP) Grant to fund an undergraduate mathematics and computer science research assistant to aid in converting CalcPlot3D exploratory labs into WeBWorK using the Perl programming language. 201415 academic year.
 NSF Division of Mathematical Sciences Grant 0801313: ``RUI: Model Theory of Abstract Elementary Classes." PI. May 2008April 2013. $111,000.
 NCHC Portz Grant: ``Intersections: A MultiUniversity, Hybrid Undergraduate Research Conference." CoPI. 20092010. $1000.
 NSF Division of Undergraduate Education Grant: "Robert Morris University SSTEM Scholar Program." Senior Faculty and CoPI on a previous submission. August 2008July 2013. $562,220.
 USColombian Research Group ``Establilidad en Clases No Elementales [Stability in NonElementary Classes]." Associate Researcher.
 American Institute of Mathematics Workshop on Nonelementary Model Theory. CoPI. July 2006.
 Rackham Faculty Fellowship. PI. Summer 2005.
Dissertation Committees
 Outside Reviewer for the Ph.D. dissertation defense of Sebastien Vasey at Carnegie Mellon University, 2017.
 Outside Reviewer for the Ph.D. dissertation defense of William Boney at Carnegie Mellon University, 2014.
 Outside Reviewer for the Ph.D. dissertation defense of Fred Drueck at the University of Illinois at Chicago, 2012.
 Outside Reviewer for the Ph.D. dissertation defense of Pedro Zambrano at the National University of Colombia in Bogotá, 2011.
 The Opponent for the Ph.D. dissertation defense of Meeri Kesälä at the University of Helsinki, 2006.
 Committee Member for the Ph.D. dissertation defense of Bart Kastermans at the University of Michigan, 2006.

