Juan P. Aguilera

About

Since October 2015, I am a PhD student working in mathematical logic at the Vienna University of Technology. I was a Visiting Fellow at Harvard University in the spring of 2017 and a Visiting Scholar at Rutgers University in the fall of 2017.


My research interests include Proof Theory, Set Theory, and Recursion Theory.