Skip to main content

Student Research Conference: Mathematics

Find 2026 SRC Information

Winners, Abstracts, Sessions, Maps, etc.
Students Advised in 2026 from the Department of Mathematics
By Faculty Advisor
By Student Name

Mark Allen

  • Keith, Timothy (Analyzing Flame Spread Through Smoldering Pine Needles)

Nick Andersen

  • Briggs, Cameron (Proof Formalization of Elliptic Curves using Lean)
  • Ellingford, Diana; Schaff, Avery (Vanishing of Poincaré Series)
  • Hastings, Carter (A Formalization of Modular Forms Mod ℓ in Lean)
  • Morris, Drew (Categories in Lean)
  • Palenske, Ethan (Computing Eigenvalues of Maass Forms)

Lennard Bakker

  • Petersen, Anna (A Matrix Version of Noether's Theorem)
  • Sill, Nathan (McGehee Regularization and Collision Manifold of Planar (2+2)-Body Problem)

Blake Barker

  • Escobar, Oscar (A Hybrid Deep Learning Approach to Solve Nonlinear PDE)
  • Evans, Ethan (Modeling the dynamics of trading strategies)
  • Langley, Clifton (Predicting Wildfire Behavior Through UNets)
  • Yoon, Seokkwon (Solving Burgers equation - A step toward improving algorithms with AI)

C.J. Bott

  • Wells, Noah (What's next after Linear Algebra? Ideals and Gröbner Bases in Algebraic Geometry)
  • Woffinden, Cameron; Crowther, Caleb; Harris, Abe; Morris, Drew (How Many Well-Posed Challenger Puzzles Exist?)

Jennifer Brooks

  • Danielsen-Jensen, Eden (Signatures for group-invariant monomial maps from spheres to hyperquadrics)
  • Lee, Alex (Signatures of Group-Invariant Hyperquadric Maps)
  • Starr, Shogo (Achievable Ranks of Certain Monomial Sphere Maps)
  • Miner, Kathryn; Cupp, Alena (Zeros of a Family of Harmonic Polynomials)

Jasbir Chahal

  • Hacking, Garrett;Foutz, Jack; Randall, Tyler (Euclidian Geometry and Fermat Primes)

Gregory Conner

  • James, Joseph (Meager Equivalence Classes, The Cantor Set, and Topological Complexity)
  • LeBaron, Bastian (Translation Numbers of Quasiconvex Spaces)
  • Sandberg, Kai (Glimpses of Entanglement in High-Dimensional Spaces)
  • Williams, Andrew (Sheaf Neural Network Geodesic Approximation) - with Tyler Jarvis

John Dallon

  • Rainey, Alicia (Cell Migration with Boundary Conditions in Dictyostelium Discoideum Slugs Part II) - with Emily Evans
  • Tullis, Henry (Characterizing an Agent-Based Model for Multicellular Behavior) -with Emily Evans
  • Turley, Heidi (Cell Migration with Boundary Conditions in Dictyostelium Discoideum Slugs Part I) - with Emily Evans

Megan Dixon

  • Burns, Ellen (Understanding and Modifying the Goldman-Hodgkin-Katz Equation) - with John Dallon
  • Crowther, Caleb (Categorization of Mouse Genotypes through Mathematical Analysis of Brainwaves) - with John Dallon
  • Squire, Isabella; Gunn, Dallon (Mathematical Model for Tumor Control Via Immune Cell Interaction)
  • Thygerson, Emeline (Protein Transport in Yeast Cells)

Emily Evans

  • Bennett, Jeddy (Diffusion of Cancer Hallmarks within the TME of Endometrial Cancer)
  • Jenkins, Mary (Modelling a Collagen Network Interacting with Various Fixed Surfaces)
  • Tanner, Paige (Resistance distance in triangular lattice graphs)

Denise Halverson

  • Cardon, Tanner (Practical Design for Miura-ori Tubes)
  • Clift, Jessica; Covington, Katie; Ledesma, Sam (Mycorrhizal Design: Building Interdisciplinary Research through a Natural System’s Approach)
  • Cope, Peter; Packer, Lincoln (Zipper Tubes that Deploy to Curved Shapes)
  • Russon, Ben; Hua, Marie (Mycelium-Based Materials in Engineering Design)

Mark Hughes

  • Harris, Abraham (Deep reinforcement learning for simplifying braid band decompositions)
  • Henrie, Aiden (Searching for counterexamples to the Jones Unknot Conjecture using deep reinforcement learning)

Stephen Humphries

  • Bastian, Nicholas (Almost Commutative Terwilliger Algebras for Orbit Schur Rings on Cyclic Groups)

Tyler Jarvis

  • Davis, Mckayla (A Pretrained Transformer Approach to Predicting Blood Pressure from PPG)
  • Hermosilla Cifuentes, Alex (Computing Real Embeddings of Minimally Rigid Graphs Using a Chebyshev Subdivision Solver)
  • Lee, Hyun (Multivariate Chebyshev Rootfinding Method and its Applications in Engineering)
  • Lundgren, Alice (Aligning ECG and PPG Signals Using Cross Correlation)
  • Williams, Rowan; McKinnon, Emmaline (Explaining Irregular Aliasing and Double Descent by Decomposing Linear Regression)

Mark Kempton

  • Grigg, Timothy (Finding Properties of Non-Backtracking Random Walk Matrices)
  • Marre, Maxwell (Kemeny's Constant After Vertex Identification)
  • Moody, Jarom; Petersen, Ethan; Clift, Daniel (Walking in Circles, But Carefully: The Asymptotic Relationship Between Simple and Nonbacktracking Closed Random Walks)
  • Zaitzeff, Xavier (Nordhaus-Gaddum Type problems on the Algebraic Connectivity of a Graph)

Curtis Kent

  • Beesley, Max (Inverse Limits of Topological Spaces)
  • Call, Adam (Homomorphisms into the Hawaiian earring group)
  • Giles, Tyler (Homlessness: An Analysis With Persistent Homology)

Stephen McKean

  • Adhikari, Sia (Constructing Monogenic Fields of Cryptographic Size - 3)
  • Hall, Brent (Analyzing Partitions with Sparse Exclusions)
  • Mattson, Zach (Generating Polynomials with Given Galois Groups through Reinforcement Learning)
  • Morris, Pearson; Belz, Andrew (Homology of Colored Graphs: A Framework for Type-Aware Network Topology)
  • Plott, Daphne (Constructing Monogenic Fields of Cryptographic Size - 2)
  • Rich, Jack (Generating Polynomials of Specific Galois Groups Using Reinforcement Learning)
  • Sandholtz, Coby; Miao, Carl (Detecting neuronal function with statistical homology)
  • Torgersen, Parker (Constructing Monogenic Fields of Cryptographic Size - 1)

Shane McQuarrie

  • Ashton, Chase (The role of data standardization in data-driven model reduction)
  • Sewell, Kathryn (Model Reduction and Model Accessibility)

Kevin Miller

  • Bickel, Peter (Supervised Dimensionality Reduction for Visualizing Online Batch Selection)
  • Draper, Conner (Mapping the Geometry of Efficient Batch Selection in Deep Learning)
  • Humpherys, Joseph (Visualizing Spectral Embeddings of Graphs in the Transition from Unsigned to Signed)
  • Larsen, Nate (Assessing Representation Sensitivity of Leverage Scores in Active Learning)

Pace Nielsen

  • Clark, Katelyn (Generalizations of Jacobson's Lemma and Invariance Properties in Rings)

Davi Obata

  • Evans, Tyler (Centralizers of Diffeomorphisms)
  • Payne, Abbie (The Standard Map: Its Dynamics and Symmetries)

Kyle Pratt

  • Applegate, Kenny (Computational Results on Sums of a Prime with Squares or Cubes)
  • Christensen, Andrew (An Improved Explicit Upper Bound of |ζ(1+it)|)
  • Clayton, Archer (Cubes in Products of Terms of Arithmetic Progression)
  • Dunaway, Mark; Biron, Samantha (Perfect Squares, Products, and Arithmetic Progressions)
  • Hall, Phillip (Liars in Probabilistic Primality Tests)
  • Pochman, Wyatt (Cryptanalysis of Block Ciphers)

Nathan Priddis

  • Barrus, Ryan; Schutzendorf, Leo (Fundamentals of Tropical Geometry)
  • DeVries, Ben (K3 Surfaces Mirror Symmetry)
  • Fisher, Isaac (Exploring the Objects of Exceptional Sequences)
  • Magleby, Abram (Exercising Exceptional Objects to Uncover Phantoms)
  • Williams, Spencer; Saunders, Michael (Tropical Geometry vs. Classical Geometry)

Ben Webb

  • Carlson, Japheth (Layering Structure of Genealogical Networks: Generating Pseudogenerations)
  • Ford, Chase (Physics-Inspired Optimization in a Time-Delayed Regime)
  • Fosse, Erik (Analysis of Adaptive Stochastic Time Delays for the Adam Optimizer)
  • Harding, Sheridan (Stability of Repeated Linearization in Control Algorithms)
  • Henderson, Joseph (The LEParD Algorithm: A Fast Eigenvalue Finder that Leverages Graph Symmetries)
  • Kim, Teayoun (Structural and Temporal Hallmarks of Genealogical Networks)
  • Kimber, Josh (How Time Delays Enable Escape from Local Minima in Optimization)
  • Larsen, Trevor (Understanding Reservoir Computing: Dynamics, Consistency, and the Role of Spectral Radius)
  • Lawyer, Matthew (A Spatially Explicit Model of Genealogical Networks)
  • Luo, Enchi (Switching and Time-Delayed Supply Chain Networks: Intrinsic Stability and Failure of ACISs)
  • McBride, Connor (Modeling and Preventing Cascading Failures in Supply Chain Networks)
  • Mongane, Andema (Achieving Robust Control in the Presence of Time Delays)
  • Murray, Fletcher (Reservoir Computing: Structure of High Performing Models)
  • Ng, Jeremy (A Dynamical Systems Perspective on Minibatching)
  • Parker, Kaden (Analyzing the Structure of the Global Supply Chain)
  • Seyfried, Dallin (Reservoir Computing: Prediction Proxies and Connections to Network Design)

Jared Whitehead

  • Du Toit, Joseph (Applying Generalized Aliasing to Nonlinear Models) - with Tyler Jarvis
  • Eddington, Tiara (Numerical Solvers and Parameter Recovery for the Diffusion Equation)
  • Neller, Melanie (Objective Conditioning via Latent Factor Models, Kalman Smoothing, and Hidden Markov Clustering: An Application to Empirical Asset Pricing)
  • Sampson, Eli (Analyzing The Neural Tangent Kernel Through Generalized Aliasing)
  • Schill, Nathan (Asymptotic Sensitivity and Adjoint Methods for Equation Discovery with Open-Source Implementation)
  • Spencer, Ashley (Efficient Tsunami Arrival Time Prediction via Dijkstra's Algorithm)
  • Suyama, Nephi (Sampling Tsunami Wave Height and Arrival Time from Synthetic Earthquakes with Heterogeneous Slip Distributions)
  • Tolman, Lydia (Conditional Gaussian Filtering for Data Assimilation in Chaotic Dynamical Systems)
  • Whipple, Ashtyn (System Identification in coupled predator-prey interaction models)
  • Wimmer, Wyatt (Reconstruction of Earthquake Geometry from Ground Displacement)

Adhikari, Sia (Constructing Monogenic Fields of Cryptographic Size - 3) - Stephen McKean

Applegate, Kenny (Computational Results on Sums of a Prime with Squares or Cubes) - Kyle Pratt

Ashton, Chase (The role of data standardization in data-driven model reduction) - Shane McQuarrie

Barrus, Ryan; Schutzendorf, Leo (Fundamentals of Tropical Geometry) - Nathan Priddis

Bastian, Nicholas (Almost Commutative Terwilliger Algebras for Orbit Schur Rings on Cyclic Groups) - Stephen Humphries

Beesley, Max (Inverse Limits of Topological Spaces) - Curtis Kent

Bennett, Jeddy (Diffusion of Cancer Hallmarks within the TME of Endometrial Cancer) - Emily Evans

Bickel, Peter (Supervised Dimensionality Reduction for Visualizing Online Batch Selection) - Kevin Miller

Briggs, Cameron (Proof Formalization of Elliptic Curves using Lean) - Nick Andersen

Burns, Ellen (Understanding and Modifying the Goldman-Hodgkin-Katz Equation) - Megan Dixon; John Dallon

Call, Adam (Homomorphisms into the Hawaiian earring group) - Curtis Kent

Cardon, Tanner (Practical Design for Miura-ori Tubes) - Denise Halverson

Carlson, Japheth (Layering Structure of Genealogical Networks: Generating Pseudogenerations) - Ben Webb

Christensen, Andrew (An Improved Explicit Upper Bound of |ζ(1+it)|) - Kyle Pratt

Clark, Katelyn (Generalizations of Jacobson’s Lemma and Invariance Properties in Rings) - Pace Nielsen

Clayton, Archer (Cubes in Products of Terms of Arithmetic Progression) - Kyle Pratt

Clift, Jessica; Covington, Katie; Ledesma, Sam (Mycorrhizal Design: Building Interdisciplinary Research through a Natural System’s Approach) - Denise Halverson

Cope, Peter; Packer, Lincoln (Zipper Tubes that Deploy to Curved Shapes) - Denise Halverson

Criddle, Andrew; Waits, Brandon; Pinoli, Ben; Neuenschwander, Anders (SLS Feedback Control for Trending Ornstein-Uhlenbeck Processes) - David Grimsman; Sean Warnick

Crowther, Caleb (Categorization of Mouse Genotypes through Mathematical Analysis of Brainwaves) - Megan Dixon; John Dallon

Danielsen-Jensen, Eden (Signatures for group-invariant monomial maps from spheres to hyperquadrics) - Jennifer Brooks

Davis, Mckayla (A Pretrained Transformer Approach to Predicting Blood Pressure from PPG) - Tyler Jarvis

DeVries, Ben (K3 Surfaces Mirror Symmetry) - Nathan Priddis

Draper, Conner (Mapping the Geometry of Efficient Batch Selection in Deep Learning) - Kevin Miller

Dunaway, Mark; Biron, Samantha (Perfect Squares, Products, and Arithmetic Progressions) - Kyle Pratt

Du Toit, Joseph (Applying Generalized Aliasing to Nonlinear Models) - Jared Whitehead and Tyler Jarvis

Eddington, Tiara (Numerical Solvers and Parameter Recovery for the Diffusion Equation) - Jared Whitehead

Ellingford, Diana; Schaff, Avery (Vanishing of Poincaré Series) - Nick Andersen

Escobar, Oscar (A Hybrid Deep Learning Approach to Solve Nonlinear PDE) - Blake Barker

Evans, Ethan (Modeling the dynamics of trading strategies) - Blake Barker

Evans, Tyler (Centralizers of Diffeomorphisms) - Davi Obata

Fisher, Isaac (Exploring the Objects of Exceptional Sequences) - Nathan Priddis

Ford, Chase (Physics-Inspired Optimization in a Time-Delayed Regime) - Ben Webb

Fosse, Erik (Analysis of Adaptive Stochastic Time Delays for the Adam Optimizer) - Ben Webb

Giles, Tyler (Homlessness: An Analysis With Persistent Homology) - Curtis Kent

Grigg, Timothy (Finding Properties of Non-Backtracking Random Walk Matrices) - Mark Kempton

Hacking, Garrett;Foutz, Jack; Randall, Tyler (Euclidian Geometry and Fermat Primes) - Jasbir Chahal

Hall, Brent (Analyzing Partitions with Sparse Exclusions) - Stephen McKean

Hall, Phillip (Liars in Probabilistic Primality Tests) - Kyle Pratt

Harding, Sheridan (Stability of Repeated Linearization in Control Algorithms) - Ben Webb

Harris, Abraham (Deep reinforcement learning for simplifying braid band decompositions) - Mark Hughes

Hastings, Carter (A Formalization of Modular Forms Mod in Lean) - Nick Andersen

Henderson, Joseph (The LEParD Algorithm: A Fast Eigenvalue Finder that Leverages Graph Symmetries.) - Ben Webb

Henrie, Aiden (Searching for counterexamples to the Jones Unknot Conjecture using deep reinforcement learning) - Mark Hughes

Hermosilla Cifuentes, Alex (Computing Real Embeddings of Minimally Rigid Graphs Using a Chebyshev Subdivision Solver) - Tyler Jarvis

Humpherys, Joseph (Visualizing Spectral Embeddings of Graphs in the Transition from Unsigned to Signed) - Kevin Miller

James, Joseph (Meager Equivalence Classes, The Cantor Set, and Topological Complexity) - Gregory Conner

Jenkins, Mary (Modelling a Collagen Network Interacting with Various Fixed Surfaces) - Emily Evans

Keith, Timothy (Analyzing Flame Spread Through Smoldering Pine Needles) - Mark Allen

Kim, Teayoun (Structural and Temporal Hallmarks of Genealogical Networks) - Ben Webb

Kimber, Josh (How Time Delays Enable Escape from Local Minima in Optimization) - Ben Webb

Langley, Clifton (Predicting Wildfire Behavior Through UNets) - Blake Barker

Larsen, Nate (Assessing Representation Sensitivity of Leverage Scores in Active Learning) - Kevin Miller

Larsen, Trevor (Understanding Reservoir Computing: Dynamics, Consistency, and the Role of Spectral Radius) - Ben Webb

Lawyer, Matthew (A Spatially Explicit Model of Genealogical Networks) - Ben Webb

LeBaron, Bastian (Translation Numbers of Quasiconvex Spaces) - Gregory Conner

Lee, Alex (Signatures of Group-Invariant Hyperquadric Maps) - Jennifer Brooks

Lee, Hyun (Multivariate Chebyshev Rootfinding Method and its Applications in Engineering) - Tyler Jarvis

Lundgren, Alice (Aligning ECG and PPG Signals Using Cross Correlation) - Tyler Jarvis

Luo, Enchi (Switching and Time-Delayed Supply Chain Networks: Intrinsic Stability and Failure of ACISs) - Ben Webb

Magleby, Abram (Exercising Exceptional Objects to Uncover Phantoms) - Nathan Priddis

Marre, Maxwell (Kemeny’s Constant After Vertex Identification) - Mark Kempton

Mattson, Zach (Generating Polynomials with Given Galois Groups through Reinforcement Learning) - Stephen McKean

McBride, Connor (Modeling and Preventing Cascading Failures in Supply Chain Networks) - Ben Webb

Miner, Kathryn; Cupp, Alena (Zeros of a Family of Harmonic Polynomials) - Jennifer Brooks

Mongane, Andema (Achieving Robust Control in the Presence of Time Delays) - Ben Webb

Moody, Jarom; Petersen, Ethan; Clift, Daniel (Walking in Circles, But Carefully: The Asymptotic Relationship Between Simple and Nonbacktracking Closed Random Walks) - Mark Kempton

Morris, Drew (Categories in Lean) - Nick Andersen

Morris, Pearson; Belz, Andrew (Homology of Colored Graphs: A Framework for Type-Aware Network Topology) - Stephen McKean

Murray, Fletcher (Reservoir Computing: Structure of High Performing Models) - Ben Webb

Neller, Melanie (Objective Conditioning via Latent Factor Models, Kalman Smoothing, and Hidden Markov Clustering: An Application to Empirical Asset Pricing) - Jared Whitehead

Ng, Jeremy (A Dynamical Systems Perspective on Minibatching) - Ben Webb

Ordaz, Alejandro (Developing a Near-Real-Time Analysis Framework for Studying Seizure Dynamics) - Micah Shepherd

Palenske, Ethan (Computing Eigenvalues of Maass Forms) - Nick Andersen

Palmer, Abel (Two-Channel Koopman Lifts with Induced-Gain Residual Bounds) - Sean Warnick

Parker, Kaden (Analyzing the Structure of the Global Supply Chain) - Ben Webb

Payne, Abbie (The Standard Map: Its Dynamics and Symmetries) - Davi Obata

Petersen, Anna (A Matrix Version of Noether's Theorem) - Lennard Bakker

Plott, Daphne (Constructing Monogenic Fields of Cryptographic Size - 2) - Stephen McKean

Pochman, Wyatt (Cryptanalysis of Block Ciphers) - Kyle Pratt

Pond, Jackson (Learning to See Pilus Motors: Automated Detection in Cryo-Electron Tomograms) - Gus Hart

Rainey, Alicia (Cell Migration with Boundary Conditions in Dictyostelium Discoideum Slugs Part II) - John Dallon; Emily Evans

Rich, Jack (Generating Polynomials of Specific Galois Groups Using Reinforcement Learning) - Stephen McKean

Russon, Ben; Hua, Marie (Mycelium-Based Materials in Engineering Design) - Denise Halverson

Sampson, Eli (Analyzing The Neural Tangent Kernel Through Generalized Aliasing) - Jared Whitehead and Tyler Jarvis

Sandberg, Kai (Glimpses of Entanglement in High-Dimensional Spaces) - Gregory Conner

Sandholtz, Coby; Miao, Carl (Detecting neuronal function with statistical homology) - Stephen McKean

Schill, Nathan (Asymptotic Sensitivity and Adjoint Methods for Equation Discovery with Open-Source Implementation) - Jared Whitehead

Sewell, Kathryn (Model Reduction and Model Accessibility) - Shane McQuarrie

Seyfried, Dallin (Reservoir Computing: Prediction Proxies and Connections to Network Design) - Ben Webb

Sill, Nathan (McGehee Regularization and Collision Manifold of Planar (2+2)-Body Problem) - Lennard Bakker

Spencer, Ashley (Efficient Tsunami Arrival Time Prediction via Dijkstra's Algorithm) - Jared Whitehead

Squire, Isabella; Gunn, Dallon (Mathematical Model for Tumor Control Via Immune Cell Interaction) - Megan Dixon

Starr, Shogo (Achievable Ranks of Certain Monomial Sphere Maps) - Jennifer Brooks

Suyama, Nephi (Sampling Tsunami Wave Height and Arrival Time from Synthetic Earthquakes with Heterogeneous Slip Distributions) - Jared Whitehead

Tanner, Paige (Resistance distance in triangular lattice graphs) - Emily Evans

Thygerson, Emeline (Protein Transport in Yeast Cells) - Megan Dixon

Tolman, Lydia (Conditional Gaussian Filtering for Data Assimilation in Chaotic Dynamical Systems) - Jared Whitehead

Torgersen, Parker (Constructing Monogenic Fields of Cryptographic Size - 1) - Stephen McKean

Tullis, Henry (Characterizing an Agent-Based Model for Multicellular Behavior) - John Dallon; Emily Evans

Turley, Heidi (Cell Migration with Boundary Conditions in Dictyostelium Discoideum Slugs Part I) - John Dallon; Emily Evans

Wells, Noah (What's next after Linear Algebra? Ideals and Gröner Bases in Algebraic Geometry) - C.J. Bott

Whipple, Ashtyn (System Identification in coupled predator-prey interaction models.) - Jared Whitehead

Williams, Andrew (Sheaf Neural Network Geodesic Approximation) - Gregory Conner; Tyler Jarvis

Williams, Rowan; McKinnon, Emmaline (Explaining Irregular Aliasing and Double Descent by Decomposing Linear Regression) - with Jared Whitehead

Williams, Spencer; Saunders, Michael (Tropical Geometry vs. Classical Geometry) - Nathan Priddis

Wimmer, Wyatt (Reconstruction of Earthquake Geometry from Ground Displacement) - Jared Whitehead

Woffinden, Cameron; Crowther, Caleb; Harris, Abe; Morris, Drew (How Many Well-Posed Challenger Puzzles Exist?) - C.J. Bott

Yoon, Seokkwon (Solving Burgers equation - A step toward improving algorithms with AI) - Blake Barker

Zaitzeff, Xavier (Nordhaus-Gaddum Type problems on the Algebraic Connectivity of a Graph) - Mark Kempton