Granty

• Ilościowe badania teorii mnogości. Czy ZF i ZFC są asymptotycznie równoważne?
  NCN
  Rola: Kierownik
  2019-07-04 - 2023-04-03
• Asymptotyczne metody w rachunku lambda i logice kombinatorycznej
  NCN
  Rola: Kierownik
  2014-07-16 - 2017-07-15
• Kolonoskopia -Innowacyjna diagnostyka umożliwiająca personalizacje procesu leczenia poprzez opracowanie rozwiązania wspomagające badania kolonoskopowe, podnoszącego wykrywalność stanów przedrakowych nowotworów jelita grubego o niskim stadium zaawansowania
  NCBiR
  Rola: Kierownik
  2014-07-01 - 2017-12-31
• Śledzenie poruszających się osób w monitorowanych strefach
  Narodowe Centrum Badań i Rozwoju
  Rola: Wykonawca
  2010-09-17 - 2013-09-16
• Badanie ilościowe w logikach i teorii obliczeń
  
  Rola: Kierownik
  2009-09-17 - 2012-03-16