Organization
  • 2011: Organizer of workshop Ramsey Theory in Logic, Combinatorics and Complexity (RaTLoCC II), Bertinoro International Center for Informatics, with Nicola Galesi, Pavel Pudlak, Vojtech Rodl, Matteo Viale and Andreas Weiermann.
  • 2010: Programm Committee of workshop Recent advances in unprovability, University of Ghent, Department of Mathematics, September 6-9.
  • 2009: Organizer of workshop Ramsey Theory in Logic, Combinatorics and Complexity (RaTLoCC I), Bertinoro International Center for Informatics, with Nicola Galesi, Pavel Pudlak and Andreas Weiermann.
  • 2006: Organizer of Oberwolfach mini-workshop nb. 0648b, Logic, Combinatorics, and Independence Results, with Andrey Bovykin and Andreas Weiermann. (The report of the meeting appeared in the series Oberwolfach Reports, Volume 3, Issue 4, 2006, pp.3087-3130.)
Honours and Awards
  • Finalist at Gödel's Prize fo Young Scholars, Vienna, 2006.
  • Winner of a Telecom Italia Progetto Italia Fellowship for research in Logic at the Scuola Normale Superiore di Pisa, 2007.