Granty

• Topologiczne kody korekcyjne w obliczeniach kwantowych odpornych na błędy
  MNiSW
  Rola: Kierownik
  2022-10-01 - 2026-10-31
• "Problemy Spełnialności Więzów: poza przypadek skończony"
  Narodowe Centrum Nauki
  Rola: Kierownik
  2022-09-29 - 2027-09-28
• Organizacja 101 edycji konferencji Arbeitstagung Allgemeine Algebra (AAA 101)
  MNiSW
  Rola: Kierownik
  2020-11-01 - 2021-03-31
• Teoria algebraiczna dla CSP (złożoność obliczeniowa, aproksymacja i optymalizacja)
  NCN
  Rola: Kierownik
  2015-02-18 - 2019-02-17
• DATALOG w Problemie Spełnialności Więzów
  Narodowe Centrum Nauki
  Rola: Kierownik
  2011-12-07 - 2015-06-06
• Algebraiczne podejście do Problemu Spełnialności Więzów (Constraint Satisfaction Problem)
  
  Rola: Kierownik
  2009-05-15 - 2012-05-14