Juan P. Aguilera

Juan P. Aguilera is a researcher at the Institute of Discrete Mathematics and Geometry at TU Wien, Austria. His research focuses on mathematical logic, particularly in proof theory, set theory, reverse mathematics, and infinitary logics. He actively participates in academic events, including organizing workshops and giving invited talks globally.

His research interests span foundational questions in logic, including Gödel logics, determinacy axioms, and structural reflection principles. He contributes to interdisciplinary areas such as the model theory of non-classical logics and applications of infinitary proof systems.

Aguilera has been involved in major logic events like the Logic Colloquium 2025 (TU Wien) and co-organized the Philosophical Transactions of the Royal Society special issue on proof theory (2023). He has given talks at institutions like Ghent University, the University of Hamburg, and ITAM (Mexico City).

No scientific awards are explicitly listed, but his prolific engagement in academic conferences and editorial work highlights his contributions to the field. He has secured grants and leads collaborative projects, though specific grant details are not provided. He is affiliated with TU Wien's discrete mathematics group and collaborates internationally on logic and set theory research.