Granty

Mój udział w badaniach finansowanych przez Komitet Badań Naukowych.

1. Kierownik projektu KBN 8 T11C 043 19 pt. Zastosowanie pojęcia typu do weryfikacji i certyfikacji programów, grant zakończony w 2003 roku.
2. Główny wykonawca projektu KBN 2 P03A 018 18 pt. Rozstrzygalność pewnych teorii logicznych, grant zakończony w 2003 roku.
3. Kierownik projektu KBN 7 T11C 023 20 pt. Optymalizacja kosztów obliczeń metod Monte Carlo syntezy obrazów przy zastosowaniu operatorów Minkowskiego i offsetów (promotorski), grant zakończony w 2001 roku.
4. Kierownik projektu KBN 8 T11C 029 13 pt. Logiczne narzędzia dla programowania funkcjonalnego i logicznego, grant zakończony w 1999 roku.
5. Główny wykonawca projektu KBN 2 P301 046 07 pt. Teoria modeli skończonych, grant zakończony w 1997 roku.
6. Kierownik projektu KBN 8 S503 022 07 pt. Narzędzia dla programowania logicznego, grant zakończony w 1996 roku.
7. Główny wykonawca projektu KBN 2 P301 034 07 pt. Problemy złożoności obliczeniowej, grant zakończony w 1996 roku.
8. Kierownik projektu KBN 2 1197 91 01 pt. Problemy złożoności obliczeniowej, grant zakończony w 1994 roku.
9. Główny wykonawca projektu KBN 2 1368 91 01 pt. Prawa zero-jedynkowe, grant zakończony w 1994 roku.