Student Research Conference: Mathematics
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