The Logic & Computation Major at Carnegie Mellon University

Logic & Computation is a rigorous but flexible major that explores the foundational questions and assumptions that underpin a variety of disciplines. Logic & Computation majors gain skills in logic, analytic philosophy, mathematics, statistics, and computer science, enabling them to pursue professional careers or graduate study in many areas.
www.cmu.edu/di...

[@alessandrorossi1294]

This looks like an amazing major, kudos to CMU for putting this together