Welcome to Applied Mathematics

Tank of fluid

The Department of Applied Mathematics has 30 faculty members and over 100 graduate students. We offer undergraduate plans in Applied Mathematics and Mathematical Physics that attract outstanding students. The wide range of interdisciplinary research being undertaken in the department provides a stimulating environment for our graduate program.

The department has research programs in         


New: Modified AM undergraduate programs from Fall 2025! (Including the AM-SciML program, our new major focusing on Scientific Machine Learning; new course AMATH 345 - Data-Driven Mathematical modeling; a new Climate and Sustainability specialization; and PHYS 121 no longer being required for the AM major.) 

News

A number of Applied Math graduate students were recognized for their achievements at the 2025 Applied Mathematics and Computational Mathematics Awards and Recognitions Lunch held on Friday September 26th. Research excellence was recognized by best research paper awards presented to Jiayue Yang, Eric Culf, and Maria Rosa Preciado Rivas. For exceptional teaching, TA awards were presented to  Elizabeth Yackoboski, Robert Bahensky, Juliette Sinnott, Devin Blankespoor, Leonard Korreshi, Zoya Abbasi, Shri Lal Raghudev Ram Singh, Jonathan Befekadu, and Zitao He. Congratulations to all on your outstanding achievements.

Researchers in Applied Mathematics, Jun Liu and Maxwell Fitzsimmons, have received the Oded Maler Award, a distinction presented for the best paper at FORMATS 2025.

The Oded Maler Award is given for the top paper at the International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS). This year’s edition of the conference was held on August 25-30, 2025, in Aarhus, Denmark, jointly with QEST (International Conference on Quantitative Evaluation of SysTems) as a shared forum dedicated to quantitative modelling, analysis, and verification of systems. The 2025 edition of QEST and FORMATS was also held as part of CONFEST 2025, an umbrella event that brings together major international conferences in formal methods and system analysis. 

Their paper, “Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions”, introduces a symbolic method that makes the synthesis of global Lyapunov functions more tractable. By transforming candidate functions into simplified symbolic representations, the approach supports more efficient formal verification of system stability, which underpins a wide range of applications in science and engineering.