My PhD thesis “Space in weak propositional proof systems” was awarded “Best Italian PhD Thesis in Theoretical Computer Science” for the year 2016 by the Italian chapter of the EATCS. See here for the list of all previous winners.

References

bib-thesis