Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wyniki wyszukiwania

Znaleziono 6 projektów spełniających kryteria wyszukiwania:

  1. Automatyczna analiza systemów współbieżnych

    Konkurs: OPUS 14 , panel: ST6

    Kierownik: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  2. Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych

    Konkurs: OPUS 5 , panel: ST6

    Kierownik: dr hab. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  3. Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu

    Konkurs: OPUS 11 , panel: ST6

    Kierownik: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  4. Modele obliczeń rozszerzone o dane

    Konkurs: OPUS 18 , panel: ST6

    Kierownik: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  5. Granice automatycznej analizy systemów współbieżnych

    Konkurs: OPUS 21 , panel: ST6

    Kierownik: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  6. Weryfikacja formalna w modelach obliczeń rozszerzonych o dane

    Konkurs: OPUS 28 , panel: ST6

    Kierownik: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy