Mathieu Anel

Mathieu Anel is a Visiting Assistant Professor in the Department of Philosophy at Carnegie Mellon University's Dietrich College of Humanities and Social Sciences. His work focuses on advanced areas such as categorical logic, homotopy type theory, and the philosophy of mathematics. He is affiliated with the Center for Formal Epistemology and contributes to interdisciplinary research at the intersection of logic, computation, and philosophy.

Research interests include foundational topics in mathematical logic, proof theory, and the application of formal methods to philosophical problems. His academic contributions align with the department's emphasis on rigorous analytical frameworks.

No specific awards, grants, or recent publications are listed in the provided text. His current role involves teaching and research within the philosophy and logic programs at CMU.