Illinois Mathematics Lab project archive

Visualizing Spaces of Curves in 3-Manifolds, led by Prof. Yi Wang
Graduate Team Leader – Shana Li
IML Scholars – Amarisa Chalermratananon, Cathy Guo, Gabe Lewis, Tyler Wang

Mean Field Last Passage Percolation with Continuous Weights, led by Prof. Partha Dey
Graduate Team Leader – Daecheol Kim
IML Scholars – Charles Cooper, Jiya Patidar, Jules Goduco-Bunting, Srujan Roplekar

Exploring I-Functions of Calabi–Yau Manifolds, led by Prof. Deniz Genlik
Graduate Team Leader – Nikolay Sheshko
IML Scholars – Seyed Ahmad Dastgheib, Mia Greer, Sean Lu, Andrew McQueen

Developing Software to Find Arithmetic Progressions of Primes, led by Prof. Ravi Fernando
Graduate Team Leader – Zishen Qu
IML Scholars – Amy Bradu, Shubhankar Desai, Alexander Mok, Rafael Rojas, Steven Zhen

Voting Paradoxes in the Real World, led by Prof. A.J. Hildebrand
IML Scholars – Will Lande, Ayush Shastry

The Asymptotics of Localizing Entanglement, led by Prof. Jacob Beckey
Graduate Team Leader – Chris Vairogs
IML Scholars – Akanksha Chablani, Leo Lee, Hanyang Sha, Abbie Vaughan-Lee

The Mathematics of Poker-like Games (Continuous Model), led by Prof. A.J. Hildebrand
Graduate Team Leader – Andres Medina
IML Scholars – Aryan Gupta, Adam Raizer, Maanas Belambe, Mihir Tandon

The Mathematics of Poker-like Games (Discrete Model), led by Prof. A.J. Hildebrand
Graduate Team Leader – Andres Medina
IML Scholars – Aryan Gupta, Adam Raizer, Maanas Belambe, Mihir Tandon

Spatial Spreading of Altruism, led by Prof. Olivia Clifton
Graduate Team Leader – Levi Poon
Undergraduate Mentor – George Bayliss
IML Scholars – Mira Ryu, Joseph Settelmyer, Prisha Singh, Yinbo Tang

Stochastic Process and Differential Equation Models for Cross-Scale Evolutionary Dynamics, led by Prof. Daniel Cooney
Graduate Team Leaders – Jiantong Liu, Muhammad Raza
IML Scholars – Ali Alhaj, Tiger Gao, Yiming Gao, Mavin Khanday, Jonas Liang, Jiaqi Tang, Xiangyu Tan, Yichen Zhou, Justin Lee, Ahaan Kanaujia

ColorTaiko!, led by Prof. Igor Mineyev
Graduate Team Leaders – Jihong Cai
IML Scholars – Arjun Chatterjee, Matthew Guerra, Christopher Monzon, Nick Wong, Linda Yan, Yixu Zheng

PathForms: Path Transformations on Colored Graphs, led by Prof. Igor Mineyev
Graduate Team Leaders – Jihong Cai
IML Scholars – Haochen Ding, Diya Mathew, Ruoqi Wang, Maxwell Liu

Historical Mathematical Models, led by Prof. Sarah Park and Prof. Karen Mortensen
Graduate Team Leader – Xinran Yu
IML Scholars – Joules Apura, Dashiell Cloud, Dylan Jenks, Wentao Qi, Jadzia Taborski

Fibonacci Meets Catalan, led by Prof. Ken Stolarsky
Graduate Team Leader – Malachi Robinson
IML Scholars – Amogh Suresh, Carine Li, Sylvia Xia, Romina Pliner (unofficial – graduated)

Absolute and Unconditional Convergence of Series, led by Prof. Joseph Rosenblatt

Graduate team leader – Balint Gyent

IML Scholars – Konrad Freymiller, Michael Hunding, Rachel Li, Ian Wilson, Zhiyuan Yang, Shuwei Zhang

ColorTaiko!, led by Prof. Igor Mineyev

Graduate team leaders – Jihong Cai, Zishen Qu

IML scholars – Bhavika Kothari, Maxwell Liu, Shrut Patel, Ila Petrovic

Developing Outreach Materials from IML Research Projects, led by Dr. Karen Mortensen

Graduate team leaders – Maddy Ritter, Ada Stelzer

IML Scholars – Connor Brewer, Julissa Carreno, Michelle Heredia, Dylan Jenks, Cooper Ramos, Elliot Toljanic

Documenting Historical Mathematical Models, led by Dr. Karen Mortensen and Prof. Sarah Park

Graduate team leader – Xinran Yu

IML Scholars – Dadi Feng, Cathy Guo, Darya Reutenko, Eva White

Elementary Estimates for the Mertens Function, led by Prof. Mikhail Gabdullin

Graduate team leader – Anji Dong

IML Scholars – Braden Dean, Gyeongmin Kim, Eric Modesitt, Yuuki Sawanoi, Peter Zhang

Expected Goals: variations and complements, led by Prof. Kiran Luecke

Graduate team leader – Yigal Kamel

IML Scholars – Samy Bouzamondo, Yifeng Luo, Zehao Song, Jake Summaria

Fibonacci meets Cantor and Collatz, by Prof. Kenneth Stolarsky

Graduate team leader – Malachi Robinson

IML Scholars – Carine Li, Romina Pliner, Amogh Suresh, Sylvia Xia

Mean-Field Last-Passage Percolation, led by Prof. Partha Dey

Graduate team leaders – Daecheol Kim, The Nguyen

IML Scholars – Charles Cooper, Jules Goduco-Bunting, Jiya Patidar

Optimizing a generalized moment of inertia amongst tetrahedra, led by Prof. Carrie Clark

Graduate team leader – Qiuling Fan

IML scholars – Jiatu Hu, Haoen Lei, Zihan Li, Hongyang Yu

q,t-Catalan Combinatorics, led by Prof. Ian Cavey

Graduate team leader – Abbie Price

IML Scholars – Zixun Chen, Muhammad Kattom, Leo Mak, Henry Zaslow

Quantum Simulation and Graphs, led by Prof. Marius Junge

Graduate team leaders- Advith Govindarajan, Vincent Villalobos

IML Scholars – Arjun Aggarwal, Rayaan Ahmad, Xuhan Pan, Tyler Wang

Searching for optimal symplectic maps, led by Prof. Ely Kerman

Graduate team leader – Jonghyeon Ahn

IML Scholars – Haoqi Chen, Colin Edsey, David Sang, Tianxiang Wu

Stochastic Models of Cross-Scale Evolutionary Dynamics, led by Prof. Daniel Cooney

Graduate team leaders – Jiantong Liu, Shlok Mulye, Muhammad Raza

IML scholars – Raghav Chandrasekar, Yiming Gao, Gebran Hammoud, Ahaan Kanaujia, Justin Lee, Andrey Vlasov

Graduate leaders – Karthik Vasu

Voting paradoxes in the Real World, led by Prof. AJ Hildebrand

Graduate team leader – Haoru Li

IML Scholars – Daniel Flores-Brosnan, David Opoku-Ware, Chengxun Ren, David Wang

ColorTaiko!, led by Prof. Igor Mineyev

Graduate leaders – Manisha Garg, Aziz Bouland, IML scholars – Anvitha Manepalli, Aditya Ved,Aditya Kshirsagar, Enson (Zhenyi) Gai, Kevin Liu, Jeongjae Park

Optimizing capacities: what shape does best when adding a dimension?, led by Carrie Clark and Prof. Richard Laugesen

Graduate leaders – Qiuling Fan, IML scholars – Chris Becraft, Ben Taylor, Haoqi Chen, Yuan Qian

Scattering Diagrams and Broken Lines, led by Prof. James Pascaleff

Graduate leaders – Chengbin Zhu

IML scholars – Joey Zhou, Saibo Xu, Matthew Leonardson, George White

Spatial Models of Evolutionary Dynamics, led by Prof. Daniel Cooney

Graduate leaders – Muhammad Raza

IML scholars – Seokhwan Moon, Chenning Xu, Ahmad Rahman, Edwin Shen, Jirui Liu, Tianyong Yao

Tennessee Traffic, led by Prof. Richard Sowers

Graduate leaders – Karthik Vasu

IML scholars – David (Weidai) He, David Li, Neha Valavala, Weijian Chen

Winter Spaces and the Stabilizer Formalism, led by Roy Araiza

Graduate leaders – Yefei Zhang

IML scholars – Adrian Calinescu, Morgan Anderson, Dheeran Wiggins, Ben Booker, Naro Panjaitan, Dilys Wu

Paintability of Multipartite Graphs, led by Peter Bradshaw

Graduate leaders – Grace McCourt, The Nguyen, Ramon Garcia Alvarez

IML scholars – Amit Krishnaiyer, Atlas Chen, Braden Dean, Tianyue Cao, Arvind Murty, Yat Hei Yung

Predictability and Competitiveness in Sports Leagues, led by Prof. AJ Hildebrand

Graduate leaders – Bingyan Liu

IML scholars – Yiqian Zhang, Yihan Gao, David Xia, Samuel Lam

Developing Inclusive Outreach Materials in Mathematics, led by Prof. Karen Mortensen

Graduate leaders – Ada Stelzer, Grace McCourt

IML scholars – Chen-Wei Chou, Anmol Shah, Jane Pak, Yuri Chen

Quantum Gates for Quantum Noise, led by Prof. Marius Junge

Graduate leaders – Advith Govindarajan, Vincent Villalobos

IML scholars – Arjun Aggarwal, Ashmit Dutta, Divij Garg, Minghao Shi, Stevie Ridens

(Linear) Poisson structures and their cohomology, led by Florian Zieser

Graduate leaders – Wonwoo Kang

IML scholars – Xianhao An, Xinyu Wang, Uyen Nguyen, Gabe Lewis, Dmitriy Shvydkoy, Luke Bielawski

Linear Poisson structures in dimension 4, led by Prof. Florian Zieser

Graduate Leaders – Wilmer Smilde, Nikolay Sheshko

IML scholars – Yukang Qiu, Dmitriy Shvydkoy, Leslie Hu, Xianhao An, Yichi Zhai

Automated proofs of partition congruences, led by Prof. Scott Ahlgren

Graduate Leaders – Cruz Castillo

IML scholars – Tyler Cushing, Hao Cai, Jennifer Rotter, Eeshan Zele

Transforms of Functions – Theory and Applications, led by Prof. Joseph Rosenblatt

Graduate Leaders – Wonwoo Kang, Wyatt Kuehster

IML scholars – Weijian Chen, Paul Ge, Jeffrey Liu, Yayan Jiang, Sanjay Manoj

Win/Loss Sequences in Sports Leagues, led by Prof. AJ Hildebrand

Graduate Leaders – Manisha Garg

IML scholars – Mingqian Wang, Nathan Liu, Zheer Wang, Matthew Leonardson, Benjamin Cheng, Desi Nainar

Scale-free First Passage Percolation, led by Prof. Partha Dey

Graduate Leaders – Aditya Gopalan, Daecheol Kim

IML scholars – Hansheng Liu, Haotian Ju, Shuzhen Zhang, Linzhe Teng

Mapping out the quantum channel zoo, led by Prof. Felix Leditzky

Graduate Leaders – Sujeet Bhalerao

IML scholars – Anne Que, Lumi Xu, Ben Booker, Tianshun Gao, Yuxuan Wan

Real superalgebras, led by Prof. Dan Berwick-Evans

Graduate Leaders – Yigal Kamel, Levi Poon

IML scholars – Stevie Ridens, Yi Jin, Charles Cooper, Nathan Baker, Ethan Huang, Reese Ramos

List coloring with requests for planar graphs, led by Prof. Peter Bradshaw

Graduate Leaders – Robert Krueger

IML scholars – Siyu Gan, Fawzan Ali, John Su, Saurav Chittal

Finding the Department’s Deep Structure, led by Prof. Yuliy Baryshnikov

Graduate Leaders – Haoyuan Li, Anji Dong, Ning Jiang

IML scholars – Prajeet Basu, Adam Wawrowski, Ziqi Xu, Zifan Dong, Qingyu Yi

Win/loss sequences in sports leagues, led by Prof. Emeritus AJ Hildebrand

Graduate leaders – Manisha Garg

IML scholars – CHARLIE MARTELL, ANH PHUNG, MOHIT SINGH, ALEX STRATTON

Mathematical Models II, led by Prof. Steven Bradlow  and Prof. Karen Mortensen

Graduate leader – Ada Stelzer

IML scholars – Emily Gutknecht, Qingwen Liu, Yuan Qian, Timothy Thieme

Quantum Information and Error Correction, led by Roy Araiza

Graduate Leader – Peixue Wu

IML scholars – Jihong Cai, Yushan Chen, Abraham Holtermann, Chieh Hsu, Tushar Mohan, Zeyuan Yu

Rumor propagation on a spread-out lattice graph, led by Prof. Partha Dey

Graduate Leader – Daecheol Kim

IML scholars – Tianyi Huang, Yongzheng Yang, Hansen Liu

Talbot Effect On The 2-Sphere, led by Prof. Burak Erdogan

Graduate Leader – Ryan McConnell

IML scholars –  Haotian Ju, Jiazheng Wang, Yiheng Zhou

Quantum Circuit, Permutations, and Quantum Machine Learning, led by Prof. Marius Junge

Graduate Leader – Ivor Yidong Chen

IML scholars – Bozhang Chen, Linzhe Teng, Yun Wang, Shuzhen Zhang

Uniform Distribution and Rigidity, led by Prof. Emeritus Joseph Rosenblatt

Graduate Leader – Sujeet Bhalerao

IML scholars – Atharv Gudi, Yi Jin, Atharva Naik, Yue Su, Ying Zhao

Data from Ukraine, led by Prof. Richard Sowers

IML scholars –Wenqi Zeng, Luke Peng, Srikar Annapragada

Phase Retrieval, led by Prof. Emeritus Joseph Rosenblatt

IGL Scholars –  David James, Prasanna Jayaganesh, Aryaman Srikant, Yulan Ma, Jun Ye, Bo Yin

Shallow Quantum Circuits, Permutations, and Quantum Query Algorithms, led by Prof. Marius Junge

Graduate Leader – Ivor Yidong Chen

IGL scholars – Hassan Boukhamseen, Caleb Chiang, Sparsh Srivastava, Rishab Tirupathi, Mingqi Wang,

Detection of displacement and needs related to the Russia-Ukraine conflict, led by Prof. Richard Sowers

Graduate Leader – Jung Soo Park

IGL Scholars – Adrian Russo, Alex Stratton, Arpandeep Khatua, Hamiz Anjum, Zihan Zhou, Zijun Yu

FRACTAL FOURIER SERIES, led by Prof.  Emeritus A.J. HILDEBRAND

Graduate Leader – Manisha Garg

IGL Scholars – Saurav Chittal, Tri Do, Kevin Liu, Malachi Robinson

Mathematical Models, led by Prof. Steven Bradlow and Prof. Karen Mortensen

Graduate Leader – Ada Stelzer

IGL Scholars – Emily Gutknecht, Timothy Thieme, Cindy Wang

Detection of displacement and needs related to the Russia-Ukraine conflict, led by Prof. Jana Diesner

Graduate Leader – Pingjing Yang

IGL Scholars – Hamiz Anjum, Arpandeep Khatua, Alex Stratton

Quantum Channels and Error Correction, led by Roy Araiza

Graduate Leader – Peixue Wu

IGL Scholars – Jihong Cai, Yushan Chen, Abraham Holtermann, Tushar Mohan, Sam Pasquesi, Owen Shi, Libo Xu, Zeyuan Yu

Quantum Teleportation and Quantum State Discrimination, led by Prof. Felix Leditzky

Graduate Leader – Sujeet Bhalerao, Stephen Zhou

IGL Scholars – Mayank Bhatia, Mason Camp, Devanshi Chakrabarti, Rishi Narayanan, Praneet Rathi

Homotopy, Modular Forms, and the Spectrum Q(l)

• Faculty: Vesna Stojanoska
• Team leader(s): Sai Bavisetty
• IML Scholars: Casey Appleton, Garrett Credi, Rishi Narayanan, Hongyi Liu

Developing Advice for Getting into Team leader(s) School

• Faculty: Susan Tolman
• Team leader(s): Aditya Bhartia
• IML Scholars: Pedro Ocampo, Zijun Yu, Caesar Kang

Rainbow Connections in Multipartite Graphs

• Faculty: Sean English
• Team leader(s): Igor Araujo
• IML Scholars: Kareem Beniassa, Richard Bi, Shengan Wu, Pai Zheng

Quantum Capacity Bounds and Semidefinite Programming

• Faculty: Roy Araiza, Felix Leditzky
• Team leader(s): Yidong Chen, Joe Groszkiewicz, Peixue Wu
• IML Scholars: Mayank Bhatia, Mason Camp, Yuxuan Chen, Paul Ge, Evan Papoutsis, John Solak, Jonathan Wang, Tianfan Xu, Boqin Yuan

Optimal Approximations

• Faculty: Joe Rosenblatt
• Team leader(s): Keyan Ding
• IML Scholars: Zihao Chen, Yanzhe Huang, Xiaojun Jia, Yuqing Su, Jeff Xue

Competition with Random Walk on Random Graphs

• Faculty: Partha Dey, Daesung Kim
• Team leader(s): Grigory Terlov
• IML Scholars: Xiangrui Deng, Yen-Hsun Lin, Troy Yang, Andrew Yin

Dynamics of Generalized Coupled Spin Systems

• Faculty: Joseph Palmer
• Team leader(s): Jason Liu
• IML Scholars: Sihan Chen, Ethan Clayton, Eyyup Tasci

Computing Packing Capacities from Polygons

• Faculty: Joseph Palmer
• Team leader(s): Jason Liu
• IML Scholars: Gabriel Kosmacher, Jeff Massman, Timothy Thieme, Jerry Wu

Randomness in Number Theory

• Faculty: AJ Hildebrand
• Team leader(s): Efstathios Chrontsios Garitsis
• IML Scholars: Alex Jin, Arpandeep Khatua, Xiaotong Li, Shreyas Singh, Zhuo Zhang

Edge Colorings without Small Substructures

• Faculty: Sean English
• Team leader(s): Robert Krueger
• IML Scholars: Anirudh Eswara, David James, Laszlo Toth

Burning Graphs

• Faculty: Sean English
• Team leader(s): Mina Nahvi, Jingwei Xu
• IML Scholars: Xinrui Chen, Nancy Jia, Xianghe Xu, Haozhen Zhen

Department’s Deep Structure

• Faculty: Yuily Baryshnikov
• Team leader(s): Sujeet Bhalerao
• IML Scholars: Dev Patel, Peiyan Wu, Yizhi Zhang, Zheyu Zhang

Root Dynamics for Random Polynomials under Differentiation

• Faculty: Yuily Baryshnikov, Tomoyuki Shirai (Kyushu)
• Team leader(s): Qiang Wu
• IML Scholars: Parth Deshmukh, Dillon Max, Kohei Noda (Kyushu), Sally Rong, Yifan Zhang

1. Zeros of Electrical Fields led by Prof. Joseph Rosenblatt
   • Team leader: Connor Grady
   • IML Scholars: Yulie Arad, Jacob Trejo, Kaiyao Ke, Eric Liang, Jonathan Martin
2. Toric and Semitoric Packing Capacities led by Prof. Joseph Palmer
   • Team leader: Jason Liu
   • IML Scholars: Yu Du, Gabriel Kosmacher, Jeff Massman, Zheyu Zhang
3. Modular Forms and the Homotopy of Q(l) led by Prof. Vesna Stojanoska
   • Team leader: Sai Bavisetty
   • IML Scholars: Garrett Credi, Rishi Narayanan, Elias Sheumaker, Dimitrios Tambakos
4. Interactive Visualizations with Mathematica led by Prof. A.J. Hildebrand
   • Team leader: Efstathios Konstantinos Chrontsios Garitsis
   • IML Scholars: Nick Kokkines, Andre Park
5. Developing Exciting Outreach Material led by Prof. Susan Tolman
   • Team leader: Grace Jaffe
   • IML Scholars: Paul Ge, Yeshaswini Indukuri, Carolyn Janick, Qingping Ye
6. Detecting Knottedness with Quantum Computers led by Prof. Eric Samperton
   • Team leader: Joseph Malionek
   • IML Scholars: Anshul Arunachalam, Yuxuan Chen, Suchetan Dontha, Jay Reiter
7. Competition Among Random Walks on Torus led by Prof. Partha Dey & Prof. Daesung Kim
   • Team leader: Grigory Terlov
   • IML Scholars: Tyler Gall, Mingqi Wang, Tianyi Wang
8. Building a Computer by Braiding Colorful Knots led by Prof. Eric Samperton
   • Team leader: Rocco Davino
   • IML Scholars: Gargee Jagtap, Nikhil Richard, Ivan Schweiger, Xiaohan Wang

1. Arithmetic properties of partition ranks led by Prof. Olivia Beckwith
Team leader: Robert Dicks
IML Scholars: Colin Alberts, Irfan Demetoglu, John Smith, Jasmine Wang

2.  Developing Exciting Outreach Material led by Prof. Philipp Hieronymi
Team leader: Gayoung Kim
IML Scholars: Haoyi Wang, Eddie Valdez, Emily Lee, Jeremy Taniary

3. Developing Pecan led by Prof. Philipp Hieronymi
Team leader: Christian Schultz
IML Scholars: Xiaobo Huang, Eric Ma, Reed Oei, Amirthavarshini Sureshbabu

4. Gait Dynamics led by Prof. Richard Sowers
   IML Scholars: Vaishu Myadam, Jared Qiu, Yunkai Zhu, Hani Al Majed
5. Greek Drivers led by Prof. Richard Sowers
   IML Scholars: Archie Gertsman, Anirudh Eswara, Sheil Kumar, Ridha Alkhabaz
6. Half integral weight Eisenstein series led by Prof. Olivia Beckwith
   Team leader: Di Liu
   IML Scholars: Yuzhou Wang, Fenglong Zhao, Xiaowei Wu, Jun Loo
7. Higher symmetries in geometry and physics led by Prof. Daniel Berwick-Evans
   Team leader: Connor Grady
   IML Scholars: Xingjian Dicks, Jameson Dong, Eric Liang, Yikai Teng, Joshua Utley
8. Homotopy, modular forms, and the spectrum Q(l) led by Prof. Vesna Stojanoska
   IML Scholars: Matthew Niemiro, Garrett Credi, Xi Wang
9. Interactive Visualizations with Mathematica led by Prof. A.J. Hildebrand
   Team leader: Efstathios Konstantinos Chrontsios Garitsis
   IML Scholars: Xiaojun Jia, Adithya Swaminathan, Dimitrios Tambakos, Troy Yang, Sarah Zimmerman
10. Packing capacities of Delzant polygons led by Prof. Joseph Palmer
    Team leader: Jason Liu
    IML Scholars: Parth Deshmukh, Felipe Pallo Rivadeneira, Haoxiang Sun
11. Packing capacities of semitoric polygons led by Prof. Joseph Palmer
    Team leaders: Jason Liu, Chaeryn Lee
    IML Scholars: Deming Tian, Tongshu Liu, Yu Du, Gabriel Kosmacher
12. P-adic numbers and ultrametric calculus led by Prof. Shiang Tang
    Team leader: Ravi Donepudi
    IML Scholars: Xiaojian Li, Jay Reiter, Hyunjin Yi, Napoleon Wang
13. Patient Hospital Fall Dynamics led by Prof. Richard Sowers & Prof. Mao Li
    Team leader: Sanyukta Deshpande
    IML Scholars: Grace Zhao, Feiran Zhang, Hassan Boukhamseen, Savannah Moon Pagan
14. Semitoric helices and polygons led by Prof. Joseph Palmer
    Team leader: Nachiketa Adhikari
    IML Scholars: Nathan Lin, Casey Wheaton-Werle, Jingcheng Liu, Gargee Jagtap
15. Theorem proving in LEAN led by Prof. Philipp Hieronymi
    Team leaders: Scott K. Harman, Vaibhav Karve
    IML Scholars: Kay Thompson, Tyler Behme, Andrew Yin, Noble Wulffraat

Calculus, Geometry, and Probability in n Dimensions led by Prof. A.J. Hildebrand
IML Scholars: Judy Chiang, Wei Wang, Yifan Zhang

Developing Exciting Outreach Material led by Prof. Philipp Hieronymi
Team leader(s): Gayoung Kim, Haoyi Wang
IML Scholars: Ben Candee, Kaitlyn Ho, Carolyn Janick, Ran Jiang

Exploring divisibility patterns in colored partitions led by Prof. Olivia Beckwith
Team leader(s): Oscar Gonzalez
IML Scholars: Ziheng Chen, Maddie Diluia, Jamie Su

Mathematics of Change-ringing and the Altgeld Chimes led by Prof. Jeremy Tyson
Team leader(s): Emily Heath
IML Scholars: Bowen Chen, Grace Magnuson, Quarrie McGuire, Xiaohan Wang, Weian Yin, Yiju Zhao

Pecan – an automated theorem prover led by Prof. Philipp Hieronymi
Team leader(s): Christian Schulz, Mary-Angelica Tursi
IML Scholars: Zhengyao Lin, Eric Magnuson, Reed Oei, Yikai Teng, Pavle Vuksanovic

Polygonal billiard tables with obstacles led by Prof. Chandrika Sadanand
Team leader(s): Marissa Miller
IML Scholars: Colin Alberts, Soo Jong Kim, Ge Meng

Theorem proving in LEAN led by Prof. Philipp Hieronymi
Team leader(s): Vaibhav Karve, Eion Blanchard, Scott Harman
IML Scholars: Nikil Ravi, Finglong Zhao, Kyle Thompson, Tianfan Xu, Joel Schargorodsky, Noble Wulffraat

Travelling along straight lines on an infinite surface with finite area led by Prof. Chandrika Sadanand
Team leader(s): Emily Shinkle
IML Scholars: Joshua Holder, Hongyi Liu, Dongni Yang

Travelling along straight lines on a symmetric infinite surface led by Prof. Chandrika Sadanand
Team leader(s): Joseph Malionek
IML Scholars: Mithin Nehrubabu, Yifan Wang

Building a Computer by Braiding Colorful Knots led by Prof. Eric Samperton
Team leader(s): William Linz
IML Scholars: Suchetan Dontha, Aishani Dutta, Yixiao Liu, Qingyu Meng

Building a Theorem Prover led by Prof. Philipp Hieronymi
Team leader(s): Christian Schulz
IML Scholars: Reed Oei, Eric Ma

Cyclic Vectors for Certain D-Modules led by Prof. Aron Heleodoro
Team leader(s): Sungwoo Nam
IML Scholars: Dhruv Kush, Ashwin Rajnish, Tony Tan, Hantao Zhang

Developing Exciting Outreach Material led by Prof. Philipp Hieronymi
Team leader(s): Heejoung Kim
IML Scholars: Andrew Chong, Daria Chudnovsky, Ian Copple, Carolyn Janick, Michael Yun

Finding Weierstrass Equations for Elliptic Curves led by Prof. Dominic Culver
Team leader(s): None specified
IML Scholars: Ruzhang Yang, Cruz Castillo, Karan Srivastava, Lily Dix

Finite Subalgebras of the Steenrod Algebra and Their Modules led by Prof. Dominic Culver
Team leader(s): Abhra Kundu
IML Scholars: Shon Shtern, Lucas Trojanowski, Ali Guo, Jiaqi Cao

Firefighters on Graphs led by Prof. Sean English
Team leader(s): Bob Krueger
IML Scholars: Mose Mizrahi, Abdullah Nooraldeen, Tongyun Huang, Andy Lee, Casey Wheaton-Werle

Game Theory with Arithmetic Progressions led by Prof. Sean English
Team leader(s): Felix Clemen
IML Scholars: Xiaojian Li, Tatum Schmidt, Albert Cao, Weian Yin, Leeann Xoubi

Higher-Shuffles Operads 2 led by Prof. Aron Heleodoro
Team leader(s): William Balderrama
IML Scholars: Baihe Duan, Ankit Jayant, Nathan Linz, Congwei Yang

Interactive Visualizations with Mathematica led by Prof. A.J. Hildebrand
Team leader(s): (No graduate student specified)
IML Scholars: Ka Fung Tjin, Elsei Wang, Yifan Zhang

Majestic Colorings of Graphs led by Prof. Sean English
Team leader(s): Emily Heath
IML Scholars: Maria Fedriko, Cindy Feng, Gargee Jagtap, Jaqueline Ortiz, Suneal Tolliver

Pairs of Disjoint Matchings led by Prof. Anush Tserunyan
Team leader(s): Jenna Zomback
IML Scholars: Zhengda Mo, Sam Qunell