- Home
- Faculty and Research
PhD: Universidad Técnica de Viena
BIO
In 2024, Lorenzo Sauras received funding from Bitdefender to do his postdoctoral studies at the Simion Stoilow Institute of Mathematics of the Romanian Academy, under the mentorship of Mihai Prunescu.
Before that, he did his doctoral studies at the Computational Logic Research Unit of TU Wien. His doctoral dissertation, “From Logic to Discrete Geometry via Lattices”, was supervised by Matthias Baaz. While he was writing it, he participated in numerous conferences, which allowed him to build a strong network of collaborators.
In addition to his experience as a researcher, he holds an MSc and a BSc, both in mathematics. His master’s thesis, “Hypergeometric Closed Forms”, was supervised by Christian Krattenthaler, and his bachelor’s tesis, “Gödel's Incompleteness Theorem”, was supervised by Carlos Gómez-Ambrosi.