Grants

  • (2020-2022) Team member of the project Positive graphs as mathematical models of databases (project lead: B. Kalmurzayev)
    funded by the Kazakh National Scientific Council

  • (02/2020) Team member of the project The computational content of the theory of Borel equivalence relations (with N. Bazhenov, B. Monin, and R. Zamora)
    funded by the Oberwolfach Research Institute for Mathematics within the program "Research in Pairs"

  • (2019-2021) Team member of the project Effective properties of algebraic structures (project lead: A. Soskova)
    funded by the Bulgarian National Science Fund

  • (2019-2021) Team member of the project Illocutionary acts in mathematics (project lead: M. Ruffino)
    funded by São Paulo Research Foundation

  • (2018-2020) Project lead of Classifying relations via computable reducibility
    funded by the Austrian Science Fund, 156,140.00€

  • (2016-2018) Project assistant of Equivalence Relations in Computable Model Theory, (project lead: E. Fokina)
    funded by the Austrian Science Fund

  • (2014-2015) Six month fellowship for the project The role of informal proofs in mathematics
    funded by Scuola Normale Superiore