Carnegie Mellon University

Institute for Computer-Aided Reasoning in Mathematics

Have you checked out the ICARM website?

See what they're working on!

Opening Gambit: CMU Students Build Math Sculpture
Mellon College of Science  ›  Mathematical Sciences  ›  News & Events
Friday, June 26, 2026

Fonseca Recognized as a 2026 Fields Institute Fellow
Wednesday, June 03, 2026

When Abstract Problems Take Shape
Tuesday, June 02, 2026

Yoder Finds Signals in Noise Across AI and Beyond
Wednesday, May 20, 2026

CMU Mathematician Elected Fellow of Institute of Mathematical Statistics
Wednesday, May 06, 2026

Tom Bohman Honored with 2026 Richard Moore Education Award
Tuesday, May 05, 2026

On the Right Route
Wednesday, April 22, 2026

Michael Young Recognized for Outreach
Thursday, April 16, 2026

Attention To Detail Defines Tabbitha Gordon’s Impact on CMU Math
Monday, April 13, 2026

Remembering William “Bill” Hrusa
Thursday, March 26, 2026

From Materials to Medical Imaging, Fonseca’s Work Shapes the Future of Innovation
Thursday, March 12, 2026

Pollard Lines Up a Future in Mathematical Sciences
Tuesday, March 10, 2026

CMU Welcomes Young Problem Solvers for 2026 Math Kangaroo Competition
Eur Named 2026 Sloan Research Fellow
Tuesday, February 17, 2026

Eur Named 2026 Sloan Research Fellow
Steve Awodey Selected for British Royal Society Fellowship
Tuesday, January 20, 2026

Steve Awodey Selected for British Royal Society Fellowship
Graduate Students Recognized
Wednesday, December 17, 2025

Graduate Students Recognized
Sergey Nadtochiy Brings Mathematical Finance Expertise to CMU
Wednesday, November 19, 2025

Sergey Nadtochiy Brings Mathematical Finance Expertise to CMU
CMU Math Student Charts a New Path with Rubik’s Cubes
Friday, October 31, 2025

CMU Math Student Charts a New Path with Rubik’s Cubes
Kinderlehrer Uses Math to Build Bridges Across Disciplines
Friday, October 17, 2025

Kinderlehrer Uses Math to Build Bridges Across Disciplines
Nash's Game-Changing Idea Marks 75 Years
Friday, October 10, 2025

Nash's Game-Changing Idea Marks 75 Years
Opening Gambit: CMU Students Build Knight-Inspired Math Sculpture
Wednesday, September 03, 2025

Opening Gambit: CMU Students Build Knight-Inspired Math Sculpture
Simons Foundation Honors Ph.D. Student in Mathematics
Friday, August 22, 2025

Simons Foundation Honors Ph.D. Student in Mathematics
New NSF Institute at CMU Will Help Mathematicians Harness AI and Advance Discoveries
Monday, August 04, 2025

New NSF Institute at CMU Will Help Mathematicians Harness AI and Advance Discoveries
Jason Howell Earns Ashkin Award
Tuesday, May 06, 2025

Jason Howell Earns Ashkin Award

Animal Encounters Ease Exam Anxiety
Thursday, May 01, 2025

Animal Encounters Ease Exam Anxiety
Matthew Rosenzweig Awarded NSF Career Award
Friday, April 18, 2025

Matthew Rosenzweig Awarded NSF Career Award
Sangmin Park Earns the Guy C. Berry Graduate Research Award
Thursday, April 17, 2025

Sangmin Park Earns the Guy C. Berry Graduate Research Award
Ran Tao Awarded FRQNT Fellowship
Tuesday, April 15, 2025

Ran Tao Awarded FRQNT Fellowship
The Unexpected Art: How Women in Math Combine Calculation with Creativity
Friday, March 28, 2025

The Unexpected Art: How Women in Math Combine Calculation with Creativity
Math Researchers Awarded $2.5M Grant
Friday, February 07, 2025

Math Researchers Awarded $2.5M Grant
MCS Graduate Student Conference Funding Award Winners Announced
Thursday, January 02, 2025

MCS Graduate Student Conference Funding Award Winners Announced
CMU-Q Faculty Craft Questions for World Math Team Championship
Friday, December 13, 2024

CMU-Q Faculty Craft Questions for World Math Team Championship
Math Department Awards Graduate Students
Tuesday, December 10, 2024

Math Department Awards Graduate Students
Carnegie Mellon is a Destination for NSF Postdoctoral Fellows
Friday, December 06, 2024

Carnegie Mellon is a Destination for NSF Postdoctoral Fellows
Roberts Finds Ways to Serve Via Mathematics
Monday, November 25, 2024

Roberts Finds Ways to Serve Via Mathematics
Erin Davis Unifies Processes for Departmental Success
Friday, November 22, 2024

Erin Davis Unifies Processes for Departmental Success
Forbes Portugal Names Fonseca to Most Powerful Women in Business List
Thursday, November 21, 2024

Forbes Portugal Names Fonseca to Most Powerful Women in Business List
Noquez Shuffles Between Math, Magic
Monday, November 18, 2024

Noquez Shuffles Between Math, Magic
Nicholas Boffi Brings Together Applied Math and Machine Learning
Monday, November 04, 2024

Nicholas Boffi Brings Together Applied Math and Machine Learning
Christopher Eur Adds Breadth to Faculty with Algebraic Geometry
Tuesday, October 29, 2024

Christopher Eur Adds Breadth to Faculty with Algebraic Geometry
Low-Dimensional Topology Offers High Rewards for Simone
Thursday, October 10, 2024

Low-Dimensional Topology Offers High Rewards for Simone
MCS Graduate Student Conference Funding Award Winners Announced
Wednesday, September 25, 2024

MCS Graduate Student Conference Funding Award Winners Announced
Robin Neumayer Awarded NSF Career Award
Tuesday, September 24, 2024

Robin Neumayer Awarded NSF Career Award
MCS Faculty Honored with Professorships
Tuesday, September 17, 2024

MCS Faculty Honored with Professorships
Mathematician Awarded NSF Postdoctoral Fellowship
Wednesday, September 11, 2024

Mathematician Awarded NSF Postdoctoral Fellowship
Postdoctoral Fellow Awarded Brazil’s Prize for Best Ph.D. Thesis
Friday, September 06, 2024

Postdoctoral Fellow Awarded Brazil’s Prize for Best Ph.D. Thesis
Michael Young Honored by New Pittsburgh Courier
Tuesday, August 06, 2024

Michael Young Honored by New Pittsburgh Courier
Po-Shen Loh: An International Man of Math
Thursday, July 25, 2024

Po-Shen Loh: An International Man of Math
MCS Graduate Student Conference Funding Award Winners Announced
Tuesday, July 16, 2024

MCS Graduate Student Conference Funding Award Winners Announced
Baylor Hosts Rami Grossberg for AEC Workshop
Friday, July 12, 2024

Baylor Hosts Rami Grossberg for AEC Workshop
Program Aims To Ignite K-12 Students’ Relationship to Math
Monday, June 03, 2024

Program Aims To Ignite K-12 Students’ Relationship to Math
MCS Graduate Student Conference Funding Award Winners Announced
Wednesday, May 22, 2024

MCS Graduate Student Conference Funding Award Winners Announced
Ting-Wei Chao Earns the Guy C. Berry Graduate Research Award
Tuesday, May 07, 2024

Ting-Wei Chao Earns the Guy C. Berry Graduate Research Award
Wellner Receives the Hugh D. Young Award
Tuesday, May 07, 2024

Wellner Receives the Hugh D. Young Award
Barth, Tetali Elected 2023 AAAS Fellows
Thursday, April 18, 2024

Barth, Tetali Elected 2023 AAAS Fellows
Market Making Game Gives Students Experience, Connections
Monday, April 08, 2024

Market Making Game Gives Students Experience, Connections
Mathematical Sciences Conference Finds the Right Combination for Success
Friday, April 05, 2024

Mathematical Sciences Conference Finds the Right Combination for Success
Leif Andersen Named 2023 IAQF/Northfield Financial Engineer of the Year
Thursday, April 04, 2024

Leif Andersen Named 2023 IAQF/Northfield Financial Engineer of the Year
Quantathon Competitors Harness Math Passion
Monday, March 04, 2024

Quantathon Competitors Harness Math Passion
MCS Graduate Student Conference Funding Award Winners Announced
Friday, February 23, 2024

MCS Graduate Student Conference Funding Award Winners Announced
Loh Appointed to Advisory Committee of $10M AIMO Prize
Wednesday, February 14, 2024

Loh Appointed to Advisory Committee of $10M AIMO Prize

Fonseca Elected Vice President of American Mathematical Society
Tuesday, January 23, 2024

Fonseca Elected Vice President of American Mathematical Society
Paulini, Slepčev Appointed To Associate Dean Roles
Thursday, January 18, 2024

Paulini, Slepčev Appointed To Associate Dean Roles
Math Professor, Alumnus Retires after 20 Years at CMU-Q
Monday, December 18, 2023

Math Professor, Alumnus Retires after 20 Years at CMU-Q
Analyzing Approximations
Friday, December 01, 2023

Analyzing Approximations
Mathematical Finance Group Gains Johannes Wiesel
Thursday, November 30, 2023

Mathematical Finance Group Gains Johannes Wiesel
Mykhaylo Shkolnikov Brings His Probability Expertise to CMU
Tuesday, November 28, 2023

Mykhaylo Shkolnikov Brings His Probability Expertise to CMU
Susan Campbell and Scott Byer Reflect on Careers, Community
Tuesday, November 21, 2023

Susan Campbell and Scott Byer Reflect on Careers, Community
Postdoctoral Fellow Elisa Bellah Offers New Lessons
Monday, November 20, 2023

Postdoctoral Fellow Elisa Bellah Offers New Lessons
Aristotelis Panagiotopoulos Explores Dynamics of Infinity
Thursday, November 09, 2023

Aristotelis Panagiotopoulos Explores Dynamics of Infinity
Alumnus Dylan Quintana Applies Engineering to Math Instruction
Tuesday, November 07, 2023

Alumnus Dylan Quintana Applies Engineering to Math Instruction
Robin Neumayer to be Awarded the 2024 AWM Sadosky Research Prize
Friday, October 27, 2023

Robin Neumayer to be Awarded the 2024 AWM Sadosky Research Prize

SEMS Offers Research Experiences
Wednesday, October 18, 2023

SEMS Offers Research Experiences
Event Fetes Prasad Tetali's Impact on Boundary-Crossing Math
Tuesday, September 26, 2023

Event Fetes Prasad Tetali's Impact on Boundary-Crossing Math
Student-Built AI Tool Licensed for Workforce Development
Tuesday, September 05, 2023

Student-Built AI Tool Licensed for Workforce Development
Florian Frick Mentors Mathematicians Through Geometry REU
Thursday, August 10, 2023

Florian Frick Mentors Mathematicians Through Geometry REU
SUAMI Offers Students, Mentors Connections
Thursday, August 03, 2023

SUAMI Offers Students, Mentors Connections

Deep Mathematics and Simple Fun
Wednesday, July 12, 2023

Deep Mathematics and Simple Fun
MCS Graduate Student Conference Funding Award Winners Announced
Wednesday, June 28, 2023

MCS Graduate Student Conference Funding Award Winners Announced
Simon Named Executive Director for Master of Science in Computational Finance Program
Wednesday, June 07, 2023

Simon Named Executive Director for Master of Science in Computational Finance Program
Market Making Game Participants Trade Winning Strategies
Friday, April 28, 2023

Market Making Game Participants Trade Winning Strategies
Samson Leung Honored with Young Graduate Teaching Award
Tuesday, April 25, 2023

Samson Leung Honored with Young Graduate Teaching Award
Bill Hrusa Wins 2023 Robert E. Doherty Award
Thursday, April 20, 2023

Bill Hrusa Wins 2023 Robert E. Doherty Award
Theresa Anderson Receives NSF CAREER Award
Wednesday, April 12, 2023

Theresa Anderson Receives NSF CAREER Award
Tartans Place Among the Top 10 in Putnam Math Competition
Monday, March 27, 2023

Tartans Place Among the Top 10 in Putnam Math Competition
Frieze Named Orion Hoch Professor of Mathematical Sciences
Thursday, March 23, 2023

Frieze Named Orion Hoch Professor of Mathematical Sciences
Mathematician Theresa Anderson Adds New Perspectives To Field
Thursday, March 16, 2023

Mathematician Theresa Anderson Adds New Perspectives To Field
Quantathon Participants Flip their Ideas of Quantitative Finance
Monday, March 13, 2023

Quantathon Participants Flip their Ideas of Quantitative Finance
Carnegie Mellon University in Qatar Hosts 500 Students for Pi Day Math Contest
Friday, March 03, 2023

Carnegie Mellon University in Qatar Hosts 500 Students for Pi Day Math Contest
Applied Mathematics Draws Tikhomirov To Computing Problems
Tuesday, February 28, 2023

Applied Mathematics Draws Tikhomirov To Computing Problems
Education is a Family Tradition for Noha Abdelghany
Friday, February 17, 2023

Education is a Family Tradition for Noha Abdelghany
Alumnus Invites Readers To Contemplate Universe Via Numbers
Friday, February 10, 2023

Alumnus Invites Readers To Contemplate Universe Via Numbers
Chagas Engineers Computing Solutions
Friday, February 03, 2023

Chagas Engineers Computing Solutions
MCS Graduate Student Conference Funding Award Winners Announced
Monday, January 30, 2023

MCS Graduate Student Conference Funding Award Winners Announced
SUAMI Celebrates 30th Anniversary
Wednesday, January 11, 2023

SUAMI Celebrates 30th Anniversary
Department Faculty Speak at 2022 International Congress of Mathematicians
Wednesday, December 21, 2022

Department Faculty Speak at 2022 International Congress of Mathematicians
Brittany Mosby Advocates for Tennessee's HBCU Students
Tuesday, December 13, 2022

Brittany Mosby Advocates for Tennessee's HBCU Students
Alissa Crans Mentors Mathematicians
Monday, December 12, 2022

Alissa Crans Mentors Mathematicians
Algorithm Aims to Improve Mental Health Outcomes
Thursday, September 29, 2022

Algorithm Aims to Improve Mental Health Outcomes
Movie Math: Tetali's Equations Seen in Film
Monday, September 26, 2022

Movie Math: Tetali's Equations Seen in Film
Program Lays Groundwork for Students To Explore Math Research
Friday, September 16, 2022

Program Lays Groundwork for Students To Explore Math Research
Tony Yu's Research Bridges Math and Computer Science
Friday, September 16, 2022

Tony Yu's Research Bridges Math and Computer Science
Junichi Koganemaru Receives Young Teaching Award
Wednesday, June 08, 2022

Junichi Koganemaru Receives Young Teaching Award
Connie Yang’s Math of Change
Wednesday, June 01, 2022

Connie Yang’s Math of Change
Rudenko Coaches U.S. Girls Team to First in International Math Competition
Friday, May 27, 2022

Rudenko Coaches U.S. Girls Team to First in International Math Competition
Clinton Conley Receives Julius Ashkin Award
Thursday, May 19, 2022

Clinton Conley Receives Julius Ashkin Award
Senior Simran Khunger Receives Carnegie Mellon Women’s Association Scholarship
Wednesday, May 18, 2022

Senior Simran Khunger Receives Carnegie Mellon Women’s Association Scholarship
Knauth Named Recipient of 2022 Byron Nelson Award presented by Srixon/Cleveland Golf
Friday, May 13, 2022

Knauth Named Recipient of 2022 Byron Nelson Award presented by Srixon/Cleveland Golf
Junior Khunpob Sereesuchart Among 2022 Goldwater Scholars
Tuesday, May 10, 2022

Junior Khunpob Sereesuchart Among 2022 Goldwater Scholars
Mathematician Irene Fonseca Receives ISIMM Award
Wednesday, April 27, 2022

Mathematician Irene Fonseca Receives ISIMM Award
Students Take Stock of Their Math Skills
Tuesday, April 26, 2022

Students Take Stock of Their Math Skills
Quantathon Participants Make Math Passion Count
Tuesday, March 29, 2022

Quantathon Participants Make Math Passion Count
Sacks Prize for Marcos Mazari Armida
Thursday, November 18, 2021

Sacks Prize for Marcos Mazari Armida
Irene Fonseca elected Fellow of the European Academy of Sciences
Tuesday, October 05, 2021

Irene Fonseca elected Fellow of the European Academy of Sciences
Franziska Weber Wins NSF CAREER Award
Tuesday, August 31, 2021

Franziska Weber Wins NSF CAREER Award

Florian Frick Wins NSF CAREER Award
Saturday, July 24, 2021

Florian Frick Wins NSF CAREER Award
Larsson Appointed to MSCF Steering Committee
Thursday, July 15, 2021

Larsson Appointed to MSCF Steering Committee
Prasad Tetali Named Head of Department of Mathematical Sciences
Wednesday, June 30, 2021

Prasad Tetali Named Head of Department of Mathematical Sciences
Mellon College of Science Celebrates the Achievements of Tom Bohman
Thursday, June 17, 2021

Mellon College of Science Celebrates the Achievements of Tom Bohman
Michael Young Named MCS’s Associate Dean for Diversity, Equity and Inclusion
Monday, May 24, 2021

Michael Young Named MCS’s Associate Dean for Diversity, Equity and Inclusion
Junior Ethan Lu Selected as Goldwater Scholar
Wednesday, April 07, 2021

Junior Ethan Lu Selected as Goldwater Scholar
CNA research group awarded NSF Growing Convergence Grant
Tuesday, November 17, 2020

CNA research group awarded NSF Growing Convergence Grant
Last remaining case of Keller's conjecture resolved with computer-assisted proof
Monday, September 28, 2020

Last remaining case of Keller's conjecture resolved with computer-assisted proof
Po-Shen Loh creates coronavirus tracking app NOVID
Wednesday, September 16, 2020

Po-Shen Loh creates coronavirus tracking app NOVID
Math graduate students sweep 2020 MCS graduate student awards
Monday, June 29, 2020

Math graduate students sweep 2020 MCS graduate student awards
Math faculty receive teaching awards
Thursday, October 10, 2019

Math faculty receive teaching awards
Po-Shen Loh receives Presidential Early Career Award
Monday, July 08, 2019

Po-Shen Loh receives Presidential Early Career Award
Graduate Emily Zhu Receives Judith A. Resnik Award
Friday, May 17, 2019

Graduate Emily Zhu Receives Judith A. Resnik Award
Junior Jung Joo Suh Recognized as Goldwater Scholar
Wednesday, May 15, 2019

Junior Jung Joo Suh Recognized as Goldwater Scholar
Asst. Prof. Florian Frick awarded Sloan Research Fellowship
Tuesday, February 19, 2019

Asst. Prof. Florian Frick awarded Sloan Research Fellowship
In Memory of Jim Greenberg
Tuesday, November 27, 2018

In Memory of Jim Greenberg
Abel in Pittsburgh
Thursday, November 15, 2018

Abel in Pittsburgh
Alumnus Receives Prestigious Sacks Prize in Logic
Tuesday, September 18, 2018

Alumnus Receives Prestigious Sacks Prize in Logic
Hayden Schaeffer receives NSF CAREER award
Wednesday, June 06, 2018

Hayden Schaeffer receives NSF CAREER award
Women and Mathematics at CMU
Tuesday, April 10, 2018

Women and Mathematics at CMU
Mathematical Sciences Professors influence PA congressional map
Tuesday, January 23, 2018

Mathematical Sciences Professors influence PA congressional map
Irene Fonseca named to Abel Committee
Monday, June 19, 2017

Irene Fonseca named to Abel Committee
Mathematician Ian Tice Receives NSF CAREER Award
Tuesday, May 23, 2017

Mathematician Ian Tice Receives NSF CAREER Award
Sebastien Vasey Receives Guy C. Berry Graduate Student Research Award
Friday, May 12, 2017

Sebastien Vasey Receives Guy C. Berry Graduate Student Research Award
CMU Takes First Place in 2016 Putnam Mathematics Competition
Monday, April 10, 2017

CMU Takes First Place in 2016 Putnam Mathematics Competition
Flying High: Air Force Awards Grants to Two Researchers
Wednesday, November 02, 2016

Flying High: Air Force Awards Grants to Two Researchers
2016 Simons Fellows in Mathematics
Thursday, June 23, 2016

2016 Simons Fellows in Mathematics
2015 Putnam Mathematical Competition
Monday, April 18, 2016

2015 Putnam Mathematical Competition
Wes Pegden named Sloan Research Fellow
Friday, March 04, 2016

Wes Pegden named Sloan Research Fellow
Boris Bukh awarded NSF CAREER grant
Friday, March 04, 2016

Boris Bukh awarded NSF CAREER grant
Bob Pego named AMS Fellow
Wednesday, November 18, 2015

Bob Pego named AMS Fellow
Master of Science in Computational Finance ranked #1
Saturday, October 10, 2015

Master of Science in Computational Finance ranked #1
2014 Putnam Mathematical Competition
Tuesday, April 14, 2015

2014 Putnam Mathematical Competition
Alumnus John Nash
Monday, March 30, 2015

Alumnus John Nash
Po-Shen Loh wins NSF CAREER Award
Tuesday, February 10, 2015

Po-Shen Loh wins NSF CAREER Award
Professor Alan Frieze delivered a plenary lecture at the 2014 International Congress of Mathematicians
Friday, August 22, 2014

Professor Alan Frieze delivered a plenary lecture at the 2014 International Congress of Mathematicians
David Kinderlehrer named SIAM Fellow
Friday, August 01, 2014

David Kinderlehrer named SIAM Fellow
Po-Shen Loh appointed National Lead Coach for the USA International Mathematical Olympiad Team
Wednesday, June 11, 2014

Po-Shen Loh appointed National Lead Coach for the USA International Mathematical Olympiad Team
2013 Putnam Mathematical Competition
Thursday, April 03, 2014

2013 Putnam Mathematical Competition
Master of Science in Computational Finance ranked #1
Thursday, October 17, 2013

Master of Science in Computational Finance ranked #1
Mackey wins the 2013 Ryan teaching award
Wednesday, July 03, 2013

Mackey wins the 2013 Ryan teaching award
2012 Putnam Mathematical Competition
Wednesday, April 17, 2013

2012 Putnam Mathematical Competition
Gautam Iyer Awarded Sloan Fellowship
Tuesday, March 12, 2013

Gautam Iyer Awarded Sloan Fellowship
President of the Society for Industrial and Applied Mathematics
Tuesday, March 12, 2013

President of the Society for Industrial and Applied Mathematics
Load more articles

Math Sciences members in the News

Leif Andersen Selected as the Recipient of the 2023 IAQF/Northfield Financial Engineer of the Year Award

stock market graph

A.I. Is Coming for Mathematics, Too

Professor Jeremy Avigad

America’s Math Coach Is Teaching Fifth-Graders to Outsmart AI

Professor Po-Shen Loh

Mathematician’s dissertation wins top prize in logic

Mazari Armida Marcos