Gabriele Buriola (Preferred)
Gabriele Buriola
Pronouns: he/him
Postdoc, Department of computer science, University of Verona
- Joined April 2025
Names
Emails
****@univr.it (Confirmed)
Personal Links
Career & Education History
Postdoc
Department of computer science, University of Verona (univr.it)
2024 – 2025
PhD student
Department of mathematics, University of Trento (unitn.it)
2020 – 2024
MS student
Department of mathematics, University of Trieste (units.it)
2013 – 2016
Undergrad student
Department of mathematics, University of Trieste (units.it)
2010 – 2013
Advisors, Relations & Conflicts
Coauthor
Stefano Berardi
2022 – Present
PhD Advisor
Peter Schuster
2020 – 2024
Expertise
defeasible logic
2024 – Present
ordinal analysis
2022 – Present
reverse mathematics
2020 – Present
constructive mathematics
2020 – Present
well quasi-orders
2020 – Present
decidibility
2020 – Present